changed machine integers to be more amenable for symbolic computation
Merge pull request #650 from andreistefanescu/machine_integers_change

changed machine integers to be more amenable for symbolic computation