Type Definition typenum::P403

type P403 = PInt<U403>;