A positive number. Note that we also provide nonNegativeNumber
with inclusive zero. The maximum number is (quite large) since 'unbounded' is more difficult
to implement. This is greater than Eddington's estimate of the number of particles in the
universe so it should work for most people.