Proposition::integers()

Syntax

$proposition->given(Proposition::integers());

Provides a stream of random integers. Because most numbers are big while most interesting numbers are small, it starts out with small integers, then doubles its available range on each iteration. After the range has maxed out, it starts over.