Improve int() interface (issue #42) and make symvar quieter