don't use country specific decimal separators for decimals
same for double
Merge pull request #6036 from Mailaender/trait-export-decimal-separators

Fixed country specific decimal separators in the traits documentation