Another tweak for clang's isnan