Transform indent units from floats to integers when needed
Merge pull request #3487 from TomMalbran/tom/fix-issue-3466

Fix #3466: Crash happened when make some operation with decimal number in the Tab Size/Spaces field.