Представляют бесконечность в модуле Num

Question

В Num модуле, он сказал:

Числа (тип NUM) произвольны точности рациональные числа, а также специальные элементы 1/0 (бесконечность) и 0/0 (не определено).

Ожидалось найти это infinity, но не могу найти его. Я догадался, то, что я мог бы создать его вручную:

let infinity = let one = Int 1 and zero = Int 0 in one // zero 

Но бомж:

Исключение: Ошибка "create_ratio бесконечное или неопределенное рациональное число".

Так, хорошо, есть эта val infinity : float в Pervasives, давайте найдем num_from_float. О, нет такой функции ...

Ну, кто-нибудь знает, как представлять положительную и отрицательную бесконечность с Num?

Answer 1

По умолчанию специальные номера отключены. Такое поведение можно контролировать с помощью модуля Arith_status. Например, чтобы нулевые знаменатели, используйте следующее:

Arith_status.set_error_when_null_denominator false 

После того, как флаг установлен, ваше определение бесконечности работает отлично:

let infinity = let one = Int 1 and zero = Int 0 in one // zero;; 
val infinity : Num.num = <num 1/0> 
float_of_num infinity;; 
- : float = infinity