Counter
A counter that cannot go below zero: at zero, its model has no decrement.
Source