Use of decimal point 150 years older than historians thought