Return the value (* f (expt (float 2 f) ex)), but with no unnecessary loss of precision or overflow.
(sb-kernel::f sb-kernel::ex)