G_do_hoelder: fix bug related to comparing a float with a rational number in CLN.