[][src]Type Definition typenum::N133

type N133 = NInt<U133>;