Type Definition typenum::P745

type P745 = PInt<U745>;