D_HardFloat and D_SoftFloat should be defined here too, as the front-end won't be able to figure it out (and they *are* defined in the spec afterall).