-
inf FD.inf
is a constant integer. Its concrete value is implementation dependent. In Mozart FD.inf is 0.
-
sup FD.sup
is a constant integer. Its concrete value is implementation dependent. In Mozart FD.sup is 134 217 726.
-
is {FD.is *D ?B}
tests whether D is an integer between 0 and FD.sup.