Strategies to generate numeric values (as opposed to integers used as bit fields).
All strategies in this module shrink by binary searching towards 0.