Fix #312: Use correct type for message_write_float
message_write_float was declared to have arguments
message_t,float,int. Change it to message_t,void*,int and update
the implementation accordingly. This also means message_write_float needs to be updated to cast the void* to a float* so we can access the float.
Edited by Raymond Toy