C++ float-to-int conversion can be undefined behavior

Part of

Computational Accuracy And Arithmetic Pitfalls