Hi Matthew,<br><br> Yes, I also came to this conclusion<br><br> val mtenth_lo = (down();(Option.valOf ` Real.fromString "1.0") / (Option.valOf ` Real.fromString "10.0"))<br> val mtenth_hi = (up();(Option.valOf
` R.fromString "1.0") / (Option.valOf ` R.fromString "10.0"))<br><br>These do the correct thing.<br><br>I'm not sure what the correct behavior should be. I'd hate to lose optimizations, as I switched
<br>from O'Caml because the floating point computations were so much faster in my application.<br>But it would be nice to have a document somewhere specifying exactly how rounding modes<br>are treated in expressions. For instance, I can imagine an optimization that executes
<br>Real.fromString at compile time for a string constant, which would kill the fix.<br><br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>BTW, would you expect the following output:</blockquote><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">3FB9999999999999<br>3FB999999999999A
<br>3FB999999999999A<br>3FB9999999999999</blockquote><div><br>Yes, that looks right.<br><br>Thanks,<br><br>Sean<br></div></div><br>