At game end, are leftover coins converted to points before the tiebreak, and does the leftover money break ties? — Distilled FAQ | RulesPal