The result is psuedo-randomly distributed, so there is a slim chance with these values that working code could trip the assertion.

I could trivially set the ceiling to be less than the base, and that would guarantee the assertion is true.