Type Definition typenum::consts::P412

type P412 = PInt<U412>;