Fix overexhaustive pattern match in tropical division.