Replacing float with double in message passing