add more tests, reword release notes

Author: tybug

hypothesis-python/RELEASE.rst

@@ -1,5 +1,5 @@
 RELEASE_TYPE: minor
 
-The :doc:`Hypothesis example database <database>` now uses a new internal format to store examples. The new format is not compatible with the previous format, so any old stored counterexamples will be silently discarded.
+The :doc:`Hypothesis example database <database>` now uses a new internal format to store examples. This new format is not compatible with the previous format, so stored entries will not carry over.
 
-If you are replaying counterexamples using an external database such as :class:`~hypothesis.database.GitHubArtifactDatabase`, this means the counterexample must have been found after this version in the external database to successfully replay locally. In short, the Hypothesis versions of the local and remote databases should be both before or both after this version.
+The database is best thought of as a cache that may be invalidated at times. Instead of relying on it for correctness, we recommend using :obj:`@example <hypothesis.example>` to specify explicit examples. When using databases across environments (such as connecting a :class:`~hypothesis.database.GitHubArtifactDatabase` database in CI to your local environment), we recommend using the same version of Hypothesis for each where possible, for maximum reproducibility.

hypothesis-python/tests/conjecture/test_ir.py

@@ -891,7 +891,10 @@ def test_draw_directly_explicit():
     "choices1, choices2",
     [
         [(True,), (1,)],
+        [(True,), (1.0,)],
         [(False,), (0,)],
+        [(False,), (0.0,)],
+        [(False,), (-0.0,)],
         [(0.0,), (-0.0,)],
     ],
 )