[m-rev.] for review: modernise the header comment in the float module

[Zoltan Somogyi]

On Fri, 13 Mar 2026 20:10:32 +1100, Julien Fischer <jfischer at opturion.com> wrote:
> +% That semantics is not valid in Mercury, since it does not obey the axiom
> +% `all [F, X, Y] X = Y => F(X) = F(Y)'. The intended resolution is that in
> +% Mercury, functions which would return different results for +0.0 and -0.0
> +% should throw an exception.

Should throw an exception *when*? Meaning, in what circumstances?
When given -0.0?

Also, I would not let "in Mercury" be broken in the middle.

Other than that, the diff is fine.

Zoltan.