Please can we add a basic num trait?

[zackw]

I want this too, but it sounds like there are some serious practical obstacles, e.g. from the previous thread:

Mind that moving traits to std makes it impossible to add a new required item. Float , Real , and PrimInt contain dozens of required items and it seems likely that we'd want to add new methods in the future.