Add some floating point traits.