ermine-language/ermine — pull request #6 by S11001001 (2013-08-18 19:04:02+00:00)
Title: Portable core nums

Review by @dolio or @ekmett, please?