Better float detection

diff --git a/include/dba.php b/include/dba.php
index 6e399e5de4b48e74c58bc93a9f039efaec78abf7..38760a6c9e978bf3ddac1f87dcb5f95e297c610b 100644 (file)
--- a/include/dba.php
+++ b/include/dba.php
@@ -1309,7 +1309,7 @@ class dba {
                                                        }
 
                                                        // To prevent to round floats we look for them
-                                                       if (is_float($single_value)) {
+                                                       if (round($single_value) != (float)$single_value) {
                                                                $is_float = true;
                                                        }