decrement

fun decrement(replica: ReplicaId, by: Long = 1): Patch<PNCounter>

Decrement replica's own slot by by (must be positive). Returns the delta to absorb with piece; the receiver is unchanged.

value may go negative — there is no floor. For a floor-at-zero bounded counter, use BoundedCounter.