correct forced_sign_bit handling for nans

HypothesisWorks · Dec 9, 2023 · 0f0ebcc · 0f0ebcc
1 parent f52c198
commit 0f0ebcc
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/hypothesis-python/src/hypothesis/internal/conjecture/data.py b/hypothesis-python/src/hypothesis/internal/conjecture/data.py
@@ -1165,7 +1165,9 @@ def _draw_float(
         Helper for draw_float which draws a random 64-bit float.
         """
         if forced is not None:
-            forced_sign_bit = int(sign_aware_lte(forced, -0.0))
+            # sign_aware_lte(forced, -0.0) does not correctly handle the
+            # math.nan case here.
+            forced_sign_bit = math.copysign(1, forced) == -1
 
         self._cd.start_example(DRAW_FLOAT_LABEL)
         try: