The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

On 06/07/2015 11:25, Soegtrop, Michael wrote:
> Dear Guillaume,
>
> thanks for clarifying, this is what I expected. Just out of curiosity: do you 
> know if the behavior of signed 0 is specified by the IEEE standard?

Multiplication respects the sign rule, while addition always returns +0 
except for -0-0.

Best regards,

Guillaume