changed machine integers to be more amenable for symbolic computation