Type Definition typenum::P531

type P531 = PInt<U531>;