Class PostDecrementFluent<A extends PostDecrementFluent<A>>