[math-fun] Decimal question