catch up with fpu changes around numerical_std.