Increases precision for storing in preferences (currently limited to only six digits overall, e.g. 123.456).
Slightly decreases precision of values passed to extensions to achieve nice rounding (currently we pass a very long number for values that can't be represented precisely in binary, like "0.2")
Follow up to !3327 (merged).