machine integers implemented with (java) primitives or big integers in the java backend

One test is failing due to an issue with Id2String. This can be resolved by using #289.