[Fix #1158] Handle floating-point numbers in NumericLiterals's auto-correct