Type Definition typenum::consts::N900

type N900 = NInt<U900>;