Type Definition typenum::P427

type P427 = PInt<U427>;