Make Cast instance for Nat to Int tail recursive
Merge pull request #1600 from markuspf/cast-fix-master

Make Cast instance for Nat to Int tail recursive