In <boost/cstdfloat.hpp>, do trivial cleanup.