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