To elaborate a bit, this wasn’t really a “choice” on ProVUE’s point, IEEE 754 is the arithmetic scheme built into macOS, so virtually all Mac software uses it. In fact, IEEE 754 is built into the CPU chip, so it’s used by almost all software on Mac, Window, and UNIX.

Floating point can only deal with an approximation of real numbers. In this case, the value 0.57 cannot be specified exactly as a IEEE 754 floating point number, so the multiplication answer is not quite exact either. This is simply the nature of computer floating point calculations, so usually you want to round the display. There is even a blog that is entirely devoted to the topic of edge cases in floating point calculation:

https://randomascii.wordpress.com/category/floating-point/