Adds java.math support
Tries to avoid problem with single-block loop
Fixes incorrect handling of one-block loops. Fixes infinite loop
generation.
Fixes exception with Long.toString method. Fixes incorrect getMessage
invocation from unit test runner.
Fixes some bugs
Disables loop invariant motion for arrays
Fixes long division
Fixes long arithmetics bug
Fixes bugs and formatting
Fixes incorrect inclusion of temporary variable inside loop condition
Fixes some tests
Fixes some bugs. Adds test case for Double.doubleToLongBits()
Fixes double and float rounding errors