The Decimal Point Is 150 Years Older Than Historians Thought | Not Hacker News!