Round to four decimal places anywhere real numbers are used