07-31-2022, 12:34 PM
thanks Pete
it works as advertised, you are not the first person that has tried to fix the annoyance of floating-point round errors, just search for "exact real arithmetic"
it works as advertised, you are not the first person that has tried to fix the annoyance of floating-point round errors, just search for "exact real arithmetic"