Type Definition typenum::P407

type P407 = PInt<U407>;