Type Definition typenum::P450

type P450 = PInt<U450>;