Reintroduce  floating_point_utilities_v3.