Type Definition typenum::P658

type P658 = PInt<U658>;