redis uses integers for db names