Type Definition typenum::consts::N923

type N923 = NInt<U923>;