Closed Smaug123 closed 4 years ago
I have used this to compute the decimal expansion of 1/7 as 0.14285, but the type-check is very slow so I've left that out.
I have used this to compute the decimal expansion of 1/7 as 0.14285, but the type-check is very slow so I've left that out.