Make `randint` preconditions stronger
0.3.1