It's safe to fold not of fcmp.