Now uses GMP big integers to represent linear states / total number of states