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

[Julien Fischer]

On Sat, 14 Mar 2026 at 13:08, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> 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?

I have changed that to:

   The intended resolution is that in Mercury, functions which return
different results for +0.0 and -0.0
   should throw an exception when passed -0.0 as an argument.

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

Done.

Julien.