[gambit-list] floating point number representation