marijnh/CodeMirror — pull request #1834 by busykai (2013-09-19 23:41:21+00:00)
Title: Fix issue #1833 (zero-less decimal values).

Suggested fix for #1833