Type Definition typenum::P631

type P631 = PInt<U631>;