Feature #1607: round decimals