Removed prefixing of doubles between -1 and 1 with 0.

This resulted in values like `00.018` in the AST's NumConstNode which
cannot be read by some JSON readers (e.g. Mathworks' jsondecode).

(cherry picked from commit 985d7423)