Positive float infinite (IEEE 754)

assert inf > 10.0
assert inf.is_inf == 1

inf follows the arithmetic of infinites

assert (inf - 1.0) == inf
assert (inf - inf).is_nan

The negative infinite can be used as -inf.

assert -inf < -10.0
assert (-inf).is_inf == -1

Property definitions

core :: math $ Sys :: inf
# Positive float infinite (IEEE 754)
#
#     assert inf > 10.0
#     assert inf.is_inf == 1
#
# `inf` follows the arithmetic of infinites
#
#     assert (inf - 1.0) == inf
#     assert (inf - inf).is_nan
#
# The negative infinite can be used as `-inf`.
#
#     assert -inf < -10.0
#     assert (-inf).is_inf == -1
fun inf: Float do return 1.0 / 0.0
lib/core/math.nit:387,1--401,34