Fix division and total_ordering on other interpreters.