formatbitsl
ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
ATF_CHECK_MSG(!isinf(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
formatbitsl(&nan));
formatbitsl(&nan));
ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
formatbitsl(&nan));
ATF_CHECK_MSG(!isinf(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
formatbitsl(&nan));
formatbitsl(&nan));
ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
ATF_CHECK_MSG(isnan(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
formatbitsl(&nan));
ATF_CHECK_MSG(!isinf(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
formatbitsl(&nan));
formatbitsl(&nan));
ATF_CHECK_MSG(!iszero(nan), "nan=%La [0x%s]", nan, formatbitsl(&nan));
nan, formatbitsl(&nan), fpclassify(nan), FP_NAN);
nan, formatbitsl(&nan));