[gambit-list] ___FETCH_F32 and ___FETCH_F64?