Better fix of Rational-to-BigFloat ambiguity warning

(reverts a85476b2c29d9af8fab7f0a6a04809daa442a7d4)