Lines Matching defs:zero
36 val zero = fromInt 0 and one = fromInt 1 and four = fromInt 4
97 val radix : int = callRealToInt 11 zero
98 val precision : int = callRealToInt 12 zero
99 val maxFinite : real = callReal 13 zero
100 val minNormalPos : real = callReal 14 zero
102 val posInf : real = one/zero;
103 val negInf : real = ~one/zero;
115 fun isFinite x = x * zero == zero
126 if isFinite x then if x == zero then ZERO
134 else if x == zero then 0 else if x < zero then ~1 else 1
167 if not (isFinite r) orelse r == zero
174 if not (isFinite man) orelse man == zero
216 (* Truncate towards zero. *)
237 val posNan = abs(zero / zero)
242 | fromDecimal { class = ZERO, sign=true, ...} = SOME (~ zero)
243 | fromDecimal { class = ZERO, sign=false, ...} = SOME zero
278 then if r < zero then "~inf" else "inf"
284 (* If the exponents is negative or zero we need to put a zero
290 then (* Exponent is zero or negative - all significant digits are
314 then if r < zero then "~inf" else "inf"
338 then if r < zero then "~inf" else "inf"
357 then (* Exponent is zero or negative - all significant digits are
488 exponent we return zero as the value and the
581 the same sign as the number even if it is zero. *)
590 then if isNan r then r else (* Infinity *) if r < zero then ~zero else zero
591 else if frac == zero then if signBit r then ~zero else zero