Consider using Spire

[lstephen]

Perhaps the Real type for calculations. Predictability is probably the most interesting thing to us rather than exactness.

https://github.com/non/spire

[lstephen]

Changes reverted.

Performance is bad, whether due to the use of Real or because of abstractions/generic code is unclear at this stage.

This may be revisited later.