Java Integer Division In Floating Point Context