[gambit-list] Implementation of read-ieee-float64