Version: redis-stack-server:7.2.0-v2 via docker; redis-py 5.0.0
Platform: macOS
Description: Redis.json().objlen returns type list instead of int. The typing hint suggests it should return int instead of list. In redis-cli, it does return int though.