[gambit-list] automatic int -> double conversion