[math-fun] Multiplying repeating decimals