It's not safe to fold (fptrunc (sqrt (fpext x))) to (sqrtf x) if there is another...