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.
Split out from #3001, where @amirshavit reported: