changed machine integers to work better in the symbolic case

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/KILtoZ3.java