Fix weird result from STREAM_TO_UINT32_f