Util module representing a number type, used for ad hoc polymorphism of some functions like QCheck2.Shrink.number_towards.
QCheck2.Shrink.number_towards