Type Definition typenum::N625

type N625 = NInt<U625>;