Type Definition typenum::P64

type P64 = PInt<U64>;