Symbol: leaps_thru_end_of_nonneg