Would need some improvements, such as by using the C++ Flex scanner interface. It will also need to start using the BigNum once it has been implemented.