Type Definition typenum::P447

type P447 = PInt<U447>;