The member list reports "36731 total members" currently
and the theme changer (where you want to change the theme) reports "39230 people are using this theme" for default theme.. so that excludes the other theme users and still reporting a higher number than the total number.