idris-lang/Idris-dev — pull request #1600 by markuspf (2014-10-06 21:26:31+00:00)
Title: Make Cast instance for Nat to Int tail recursive

This one doesn't blow out the stack when converting 175000 from Nat to Int