jcreus/sympy — comment on commit d1155d4bfe9d5be7f78930b9d9ee5a180926e77f
File: bin/test line 54
By asmeurer:

Just add `type='int'` to the add_option above.