[][src]Type Definition typenum::consts::N133

type N133 = NInt<U133>;