Type Definition typenum::P412

type P412 = PInt<U412>;