Claudio Guidi: - Added support for real numbers and scientific notation.
Claudio Guidi:
- Added support for real numbers and scientific notation.

Fabrizio Montesi:
- Code clean ups and fixes.


innopolis-jolie-smt-typechecker/jolie,agwe/jolie,jolie/jolie,mawolf/jolie,mawolf/jolie,jolie-projects/jolie-async,jolie/jolie,innopolis-jolie-smt-typechecker/jolie,mawolf/jolie,jolie-projects/jolie-async,mawolf/jolie,agwe/jolie,innopolis-jolie-smt-typechecker/jolie,agwe/jolie,innopolis-jolie-smt-typechecker/jolie,jolie-projects/jolie-async,jolie-projects/jolie-async,agwe/jolie,jolie/jolie