[gambit-list] How convert 0.0001 to string so it becomes "0.0001" (and not "1e-4" or "1/10000")?