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