[gambit-list] getting float* out of a f32vector

So for something like a u8vector, I can get the unsigned char* out of it as follows: &___FETCH_U8(___BODY,(___arg1),___INT(0)) how do I do this for something like a floating point? Grepping through gambit.h, I see a bunch of ___FETCH_{U/S}{8/16/32/64}, but not any ___FETCH_F32 Thanks!