Fix case with leading-zero integers, Add a few contracts
Make use of scoped imports
Make majority of code pure, nothrow, @safe