Deprecate min_value or max_value that cannot be generated

[Zac-HD]

Many Hypothesis strategies accept min_value and max_value arguments, which usually have to be the same type as the examples the strategy can generate. The strategies for numbers generally allow any type of number to be used - which is convenient, but has a surprising catch: sometimes, the strategy will be unable to generate the given bound or bounds!

We should deprecate bounds for integers() and floats() which cannot be exactly represented as integers and floats respectively. For example, you can check if min_value != min_int_value and then use note_deprecation to issue the warning.

Finally, we should deprecate bounds for fractions() with a non-None max_denominator where the denominator of the bound (after casting to Fraction) is larger than max_denominator.

[ghost]

This looks like something I can give a shot tomorrow. 👍

[Zac-HD]

Awesome! This issue is all your for the next week 😄

[ghost]

just to make sure that i'm on the right path - in the end it should look similar to my first commit, right?
thinkgruen@cc84677

[Zac-HD]

Yep, I've left two comments but that's an excellent start 🚀