Suggestion for IEEE 754-2029 Revision - define behavior for overflow on float to integer conversions

[Pavel Cibulka]

I am writing to propose a suggestion for the IEEE 754-2029 revision. It would be beneficial if the 2029 revision could define the behavior for all situations when converting a float to an integer. Currently, there are some undefined situations, such as:

• NaN (Not a Number)
• Values less than Integer.MinValue
• Values greater than Integer.MaxValue

Addressing these scenarios would help ensure greater consistency and clarity. Problem discussed in dotnet:

https://github.com/dotnet/runtime/issues/95290#issuecomment-1830396760
https://learn.microsoft.com/en-us/dotnet/core/compatibility/jit/9.0/fp-to-integer

Thank you for considering this suggestion.

Best regards, Pavel Cibulka

[Paul Zimmermann]

Hi Pavel,

the best is to suggest this to the IEEE 754 revision mailing list
(stds...@ieee.org).

You might also participate to the meetings by visioconference which
are organized every two weeks on Monday (there was one yesterday).

Best regards,
Paul Zimmermann

> Date: Tue, 5 Nov 2024 06:21:24 -0800 (PST)
> From: Pavel Cibulka <pavelc...@gmail.com>
>
>
> [1:multipart/alternative Hide]
>
>
> [1/1:text/plain Show]
>
>
> [1/2:text/html Hide Save:noname (1kB)]

>
> I am writing to propose a suggestion for the IEEE 754-2029 revision. It
> would be beneficial if the 2029 revision could define the behavior for all
> situations when converting a float to an integer. Currently, there are some
> undefined situations, such as:
>

> * NaN (Not a Number)
> * Values less than Integer.MinValue
> * Values greater than Integer.MaxValue

>
> Addressing these scenarios would help ensure greater consistency and
> clarity. Problem discussed in dotnet:
> https://github.com/dotnet/runtime/issues/95290#issuecomment-1830396760
> https://learn.microsoft.com/en-us/dotnet/core/compatibility/jit/9.0/fp-to-integer
>
>
> Thank you for considering this suggestion.
>
> Best regards, Pavel Cibulka
>

> --
> For any list issues, please email `ad...@fpbench.org`.
> ---
> You received this message because you are subscribed to the Google Groups
> "FPBench" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to fpbench+u...@fpbench.org.
> To view this discussion visit
> https://groups.google.com/a/fpbench.org/d/msgid/fpbench/364c0211-89cb-48b8-b98e-25e4e25b495fn%40fpbench.org.