Missing Integer alias trait

[eisterman]

There is a Real trait but not a ready-to-use Integer trait.
Now I'm using the RingCommutative trait to define the classical integer number set, but there is no motivation for not introduce an alias trait Integer.

Am I missing something?

[eisterman]

Is a good idea define a trait alias or is needed a reimplementation like Real?

[WaDelma]

Well there could be trait for integers, but I have just been using traits from num-traits for those.
Not sure what would be the best for it.

[eisterman]

num-traits isn't giving the same level of abstraction of a RingCommutative that now I use as generical integer trait