description of rationalize in 5.25.1



The manual I have on line says that rationalize(0.1) is not 1/10,
but the example immediately following it shows rationalize(0.1) IS 1/10.
The example appears to be false, since rationalize(0.1) says
3602879701896397/36028797018963968