date/time handling in http_service.encode_params