int_type underflow();