Fix multipleOf with integer-valued float failing for large integers

When multipleOf is a float with an integer value (e.g. 11.0), convert
it to int before performing the check. This avoids floating-point
precision loss for instances beyond 2**53, where float division
produces incorrect results.

Per JSON Schema spec, numbers with zero fractional parts are integers.

Fixes #1159

Author: worksbyfriday

jsonschema/_keywords.py

@@ -168,6 +168,12 @@ def multipleOf(validator, dB, instance, schema):
     if not validator.is_type(instance, "number"):
         return
 
+    # JSON Schema: numbers with zero fractional parts are integers.
+    # Convert integer-valued floats (e.g. 11.0) to int to avoid
+    # floating-point precision loss with large instances.
+    if isinstance(dB, float) and dB.is_integer():
+        dB = int(dB)
+
     if isinstance(dB, float):
         quotient = instance / dB
         try:

jsonschema/tests/test_validators.py

@@ -501,6 +501,23 @@ def test_multipleOf(self):
         )
         self.assertEqual(message, "3 is not a multiple of 2")
 
+    def test_multipleOf_integer_valued_float(self):
+        """Integer-valued floats like 11.0 should behave like integers (#1159).
+
+        Large integers beyond 2**53 lose precision in float division,
+        so multipleOf with an integer-valued float must use integer
+        arithmetic to avoid false negatives.
+        """
+        instance = 9007199254740995  # 2**53 + 3, a multiple of 11
+        # With integer divisor this passes
+        validators.Draft202012Validator(
+            {"type": "integer", "multipleOf": 11},
+        ).validate(instance)
+        # With integer-valued float divisor this should also pass
+        validators.Draft202012Validator(
+            {"type": "integer", "multipleOf": 11.0},
+        ).validate(instance)
+
     def test_minItems(self):
         message = self.message_for(instance=[], schema={"minItems": 2})
         self.assertEqual(message, "[] is too short")