[]
Should write the IEEE float value v (i.e., 32 bits) to the output. Prior to writing, the output should be realigned at the byte level.
void writeFloat(float v)
The value to write to the output