Пакет iee754
имеет функции и константы, специфичные для этого формата с плавающей запятой.
В частности, он имеет константу Numeric.IEEE.infinity
для членов класса IEEE
(которые плавающие и двойные принадлежат).Это в значительной степени просто реализовано как 1/0
, поэтому, если вам нужна зависимость от пакета для более привлекательного имени, просто позвоните.