The Users report in the Users section is currently limited to 1000 users, while the report available in the Export Data section does include all users.
This doesn't make sense. The one in the Users section should also include all users.