I sent the inquirer the answer that (float rat 1.0) or (float rat
1.0d0) works much better, at least in ACL4.3. I also send him 20 lines
of code to pick out the high part of num/denom in case that fails.