string -> int conversion in model redis sync