
<html><body><div style="color:#000; background-color:#fff; font-family:arial, helvetica, sans-serif;font-size:10pt"><div>This patch was cleaned up. The failing uint64-to-float test was updated since I was told the branching was not ciritical.</div><div><br></div><div>- Jan</div></div></body></html>