mozilla/rust — pull request #8749 by gifnksm (2013-08-25 22:17:58+00:00)
Title: cleanup extra::bigint

This also fixes #4393.