Title: On the early history of the decimal point