Type Definition typenum::P625

type P625 = PInt<U625>;