Lines Matching refs:exp
78 { class : float_class, sign : bool, digits : int list, exp : int }
84 fun toString {class, sign=true, digits, exp} = (* Sign bit set *)
85 "~" ^ toString {class=class, sign=false, digits=digits, exp=exp}
89 | toString {digits, exp, ...} = (* NORMAL or SUBNORMAL *)
91 (if exp = 0 then "" else "E"^(Int.toString exp))
178 SOME ({class=ZERO, sign=sign, digits=[], exp=0}, src4)
182 exp=exponent + List.length leading}, src4)
186 SOME src' => SOME ({class=INF, sign=sign, digits=[], exp=0}, src')
189 SOME src' => SOME ({class=INF, sign=sign, digits=[], exp=0}, src')
192 SOME src' => SOME ({class=NAN, sign=sign, digits=[], exp=0}, src')