Type Definition typenum::P53

type P53 = PInt<U53>;