edwinb/Idris-dev — pull request #294 by Ralith (2013-04-28 06:36:45+00:00)
Title: Reduce redundancy across integer operations

These changes reduce duplication of code for integer primitives both internally and in back ends.