Type Definition typenum::consts::N825

type N825 = NInt<U825>;