There are many places through diophantine and test_diophantine where `Integer`, rather than `integer`, is used. Also, there is an unused keyword Integer in the function parameters. Should that be removed?