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.
NumOps I feel is too broad. It requires Mul, Div, and Rem, but these three traits satisfy different properties on integers versus floats.