Rewrite rules for conversions #9
Description
Avoid jumping through Rational unnecessarily. Most of the standard types have these rewrite rules already in place. We'll probably want to/from Float and Double, at least.
{{ message }}
Avoid jumping through Rational unnecessarily. Most of the standard types have these rewrite rules already in place. We'll probably want to/from Float and Double, at least.