The estimated size of the remaining elements. it is negative if infinite, unknown, or can't be estimated for any reason.
If is_size_known is true, this estimate is an accurate size.