Tentative implementation of exactly-rounded rational to float conversions.