RoboTux wrote: @eric-k256 @sabauma I've added a whole case to deal with widening cast (where infinites need to be handled) and reworded the comments and commit message. I'd appreciate a new review. https://github.com/llvm/llvm-project/pull/79299