Real floats and doubles for XDR