Type Definition typenum::consts::N25

type N25 = NInt<U25>;