Split int/float division cases for efficiency, make it work even if C compiler takes floor (don't know of any that do).