[math-fun] Decimal digits