- fixed bug in casting of integer literals
- rewrite for benchmarks