Added more basic types to param_server.h