Correctly fold divide-by-constant, even when faced with overflow.