withNumber now accepts an Int, for determining randomness