Split out from #3001, where @amirshavit reported:

It would be 'nicer' if the total_rows property return an integer (or None) rather than a string.