There are some special considerations about floating-point arithmetic due to the fact that certain floating-point numbers cannot be represented exactly on any given hardware and software platform. The Institute of Electronics and Electrical Engineers (IEEE) has proposed a widely adopted standard (IEEE 754) for dealing with these variations in a consistent and reliable way. Solver conforms to the IEEE 754 floating-point representation.