Type Definition typenum::P56

type P56 = PInt<U56>;