Type Definition typenum::P415

type P415 = PInt<U415>;