Lines Matching refs:zero
3 The evaluation of rounding (to zero and nearest) uses a certification
63 fun is_negative_rat r = Arbrat.< (r, Arbrat.zero)
65 fun lg2 n = if n = Arbnum.zero then Arbnum.zero else Arbnum.log2 n
72 fun evenfloat (s: bool, e: Arbnum.num, f) = Arbnum.mod2 f = Arbnum.zero
91 if e = Arbnum.zero
102 if e = Arbnum.zero andalso f = Arbnum.zero
107 then (s, Arbnum.plus1 e, Arbnum.zero)
122 if e = Arbnum.zero
707 if mod2exp (f, t) = Arbnum.zero andalso