Type Definition typenum::P812

type P812 = PInt<U812>;