Relax assertion to allow rolling backwards into 0.