optimized #num_set with LUA call on Redis server and make identifier prefix of key configurable