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