[m-dev.] inf or infinity

[Julien Fischer]

Hi,

I have been working improving various aspects of the support for floats in the
standard library recently.  As part of this I intend to add a new function
to the float module that returns +infinity on systems that use IEEE 754 
floats.
(In practice, this is pretty much everything that Mercury runs on.)

Question: should this function be named "inf" or "infinity"?

My preference is for the latter as the abbreviation seems a bit pointless.
For consistency, we will also use whatever name is chosen as what is produced
by float_to_string, string.format etc.  (Which in turn form part of the fix
for bug #348.)

Cheers,
Julien.