Lines Matching refs:fp
159 val fp = real_to_float0 r
160 val fpr = float_to_real fp
164 then fp
166 val nfp = nextfloat fp
172 then if evenfloat fp
173 then fp
176 then fp
191 val fp = real_to_float0 r
193 if float_to_real fp = r orelse negativefloat fp
194 then Float fp
195 else Float (nextfloat fp)
208 val fp = real_to_float0 r
210 if float_to_real fp = r orelse positivefloat fp
211 then Float fp
212 else Float (nextfloat fp)