Type Definition typenum::P462

type P462 = PInt<U462>;