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