isnanf-nolibm: Fix last commit.