Extra precision user setting, closes #25