Writes a floating point number to a writable bitbuffer (bf_write).
native void BfWriteFloat(Handle bf, float num)