The whole reason why an entire instruction was added to ARM to facilitate conversion to integers is because people need integer semantics from their numbers and so the language has to support this efficiently. Thus, in practice there already two number types, it's just that they have been merged together in this incredibly messy way so that you have the worst of both worlds.