edwinb/Idris-dev — pull request #415 by Ralith (2013-07-23 20:34:42+00:00)
Title: Fix interpreter implementation of signed operations on Integer

Looks like these got lost in a refactor.