Type Definition typenum::P414

type P414 = PInt<U414>;