Implement isMinValuePlusOne using facilities of APInt instead of uint64_t