Implement integer division operator
Fixes #107
Merge pull request #110 from khinsen/integer_division

Implement integer division operator
updating the nested mangles