Type Definition typenum::consts::P9007199254740992

type P9007199254740992 = PInt<U9007199254740992>;