Comment Comment by stassats You can turn them back into rationals, (rational (sqrt 2d0)) => 6369051672525773/4503599627370496Or write your own operations that compute to the precision you want. parent stassats 1 year ago
Or write your own operations that compute to the precision you want.