From ec577a265bf992abb64fbae011f5d97dbc86a27e Mon Sep 17 00:00:00 2001
From: guocn <guocn@users.noreply.github.com>
Date: Tue, 13 Oct 2026 11:18:33 +0800
Subject: [PATCH] Fix floor and ceil for non-finite Python floats

---
 jmespath/functions.py   |  4 ++++
 tests/test_functions.py | 34 ++++++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)

diff --git a/jmespath/functions.py b/jmespath/functions.py
index 627b569d..909172de 100644
--- a/jmespath/functions.py
+++ b/jmespath/functions.py
@@ -235,10 +235,14 @@ def _func_reverse(self, arg):
 
     @signature({"types": ['number']})
     def _func_ceil(self, arg):
+        if isinstance(arg, float) and not math.isfinite(arg):
+            return arg
         return math.ceil(arg)
 
     @signature({"types": ['number']})
     def _func_floor(self, arg):
+        if isinstance(arg, float) and not math.isfinite(arg):
+            return arg
         return math.floor(arg)
 
     @signature({"types": ['string']}, {"types": ['array-string']})
diff --git a/tests/test_functions.py b/tests/test_functions.py
index a352d69e..0c48dcba 100644
--- a/tests/test_functions.py
+++ b/tests/test_functions.py
@@ -2,6 +2,7 @@
 from tests import unittest
 from datetime import datetime, timedelta
 import json
+import math
 
 import jmespath
 from jmespath import exceptions
@@ -18,6 +19,39 @@ def test_can_max_datetimes(self):
         result = jmespath.search('max([*].to_string(@))', data)
         self.assertEqual(json.loads(result), str(data[-1]))
 
+    def test_floor_and_ceil_preserve_nonfinite_numbers(self):
+        for function in ('floor', 'ceil'):
+            for literal in ('Infinity', '-Infinity', 'NaN'):
+                with self.subTest(function=function, literal=literal):
+                    value = json.loads(literal)
+                    result = jmespath.search('%s(@)' % function, value)
+                    if math.isnan(value):
+                        self.assertTrue(math.isnan(result))
+                    else:
+                        self.assertEqual(result, value)
+
+    def test_floor_and_ceil_finite_numbers(self):
+        cases = [
+            (1.5, 1, 2),
+            (-1.5, -2, -1),
+            (0.0, 0, 0),
+            (2, 2, 2),
+            (10 ** 400, 10 ** 400, 10 ** 400),
+        ]
+        for value, floor, ceil in cases:
+            for function, expected in (('floor', floor), ('ceil', ceil)):
+                with self.subTest(function=function, value=value):
+                    result = jmespath.search('%s(@)' % function, value)
+                    self.assertEqual(result, expected)
+                    self.assertIsInstance(result, int)
+
+    def test_floor_and_ceil_reject_non_numbers(self):
+        for function in ('floor', 'ceil'):
+            for value in (True, None, 'Infinity', [], {}):
+                with self.subTest(function=function, value=value):
+                    with self.assertRaises(exceptions.JMESPathTypeError):
+                        jmespath.search('%s(@)' % function, value)
+
     def test_type_error_messages(self):
         with self.assertRaises(exceptions.JMESPathTypeError) as e:
             jmespath.search('length(@)', 2)