@runciters on WordPress.org
Mentioned in [39915] on Core SVN:User Query: Cast `$user_total` as an `int`.
Created ticket #39297 on Core Trac:wrong return type in WP_User_Query::get_total()
