On Mon Jun 26 09:13:02 2023 +0000, Nikolay Sivov wrote:
Do we know how consistent handling of special float values is? Maybe we should have some helpers for multiplication/addition that will handle this depending on profile.
Personally I don't know.