refac:underflow detection