floorDiv replacement for jdk7 compliance