@icecolbeveridge I have half a mind to try this in constructive real arithmetic, where you say how many decimal places you want, and it automatically does the calculation only to the required accuracy. My implementation isn't designed for speed, though