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

The core guidelines library is definitely not doing the right thing here. Very odd.