correct rounding for i387 sqrtf function