Type Definition typenum::P623

type P623 = PInt<U623>;