Is there a way to convert floating point numbers to rational numbers? And, expressions with floating point numbers to expressions with rational numbers? wxmaxima has the function "rationalize"; I did notice there is a
rationalize function in the CLN library; is that what I should work with?