Enhance issue #97 fix. Division defaults to double division while integer division does not