Type Definition typenum::consts::P812

type P812 = PInt<U812>;