Re #7945. Changing from fdim to std::fdim.