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!