Type Definition typenum::P451

type P451 = PInt<U451>;