Index: src/wp-includes/class-wp-user-query.php
===================================================================
--- src/wp-includes/class-wp-user-query.php	(revision 39604)
+++ src/wp-includes/class-wp-user-query.php	(working copy)
@@ -715,7 +715,7 @@
 	 * @return int Number of total users.
 	 */
 	public function get_total() {
-		return $this->total_users;
+		return (int) $this->total_users;
 	}
 
 	/**