edwinb/Idris-dev — pull request #309 by Ralith (2013-05-09 23:24:09+00:00)
Title: Fix integer primitive unification bugs and expand to encompass bigints

This includes #307 and parts of #308.