What numeric traits make sense for std?

I understand there are technical reasons why this isn't yet so but it'd be brilliant to be able to write mathematical code that's generic over:

  • floats
  • unsigned integers
  • signed integers

Unsigned integers in particular only differ from each other in byte length.