Type Definition typenum::P740

type P740 = PInt<U740>;