joker-eph wrote: > gambling on fp semantics that happens to work That seems like an unfair qualification of a contraction that removes an intermediate loss of precision! https://github.com/llvm/llvm-project/pull/93443