redis returns strings not numbers