bugfix: set_nameservice_float() writes a float, not a double.