You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Conversion to BigFloat is already supported. However, Base.big() have not been overloaded.
In practical use, we should explicitly specify the BigFloat, but the short big may be useful for debugging.
Similarly, rationalize() have not been overloaded. Even though the name "rationalize" is longer than "Rational", I think supporting it is better for consistency.