Type Definition typenum::P615

type P615 = PInt<U615>;