* Added the nums library to the Makefile in order to be able to use the Big_int module.

* Adapted the lexer/parser to work with big ints.