Round to 4 decimal places in dash_setting

This is a work in progress: make sure to add tests before merging, and centralize rounding method.