245d3d7429
[INTERPRETER] * BUG: Do not add an extra decimal digit to floating point numbers, it introduces rounding errors.