Bugfix, was hitting upper limit on simulator generation counter. now using infinite precision int