The decimal point is 150 years older than historians thought