On 2014-01-12 04:59:06 +0100, Michael Matz wrote:
I think I've fixed that now on mob [1]. In particular +x is regarded as
no-op for floating point types (for integer types it's still x+0 so that the
promotions still happen automatically). And unary -x is now expanded as
subtract(-0,x) for floating point types (hacking in real support for unary
operations would have been more complicated and would have entailed changes
in all backends).
subtract(-0,x) is OK in most cases, but in rounding toward -Inf,
on -0, one would get -0 instead of +0.