Make use of zend_isinf and zend_isnan.

diff --git a/ext/standard/formatted_print.c b/ext/standard/formatted_print.c
index 04f7811c92935809fef94640fecfd16c95792dd4..dfb877d91dec0696fc483388d35970fbc6dd6fb8 100644 (file)
--- a/ext/standard/formatted_print.c
+++ b/ext/standard/formatted_print.c
@@ -253,32 +253,14 @@ php_sprintf_appenddouble(char **buffer, int *pos,
                precision = MAX_FLOAT_PRECISION;
        }
        
-       if(
-#if defined(HAVE_ISNAN)
-       isnan(number)
-#elif defined(NAN)
-       number == NAN
-#else 
-       0
-#endif
-       ) {
+       if (zend_isnan(number)) {
                sign = (number<0);
                php_sprintf_appendstring(buffer, pos, size, "NaN", 3, 0, padding,
                                                                 alignment, precision, sign, 0);
                return;
        }
 
-       if(
-#if defined(HAVE_ISISINF)
-       isinf(number)
-#elif defined(HAVE_ISFINITE)
-       !isfinite(number)
-#elif defined(HAVE_FINITE)
-       !finite(number)
-#else
-       0
-#endif
-       ) {
+       if (zend_isinf(number)) {
                sign = (number<0);
                php_sprintf_appendstring(buffer, pos, size, "INF", 3, 0, padding,
                                                                 alignment, precision, sign, 0);