[math-fun] Math history questions: infinite decimals