Type Definition typenum::P840

type P840 = PInt<U840>;