[GiNaC-list] Floating to Rational

Hi GiNaC! 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 <https://www.ginac.de/CLN/cln.html#Conversion-to-rational-numbers> function in the CLN library; is that what I should work with? Thanks! Charles