rt，考不考虑 b 向下溢出到正数再减到 0 的情况。