Type Definition typenum::P830

type P830 = PInt<U830>;