[RandomBK]

> IEEE754 is not great for pure maths, however, it is fine for real life.

Partially. It can be fine for pretty much any real-life use case. But many naive implementations of formulae involve some gnarly intermediates despite having fairly mundane inputs and outputs.