https://github.com/kuhar commented: LGTM % documentation. Also, please update the PR description: > It also updates the documentation of arith.remf to explicitly state that it follows the semantics of llvm.frem. Not true anymore https://github.com/llvm/llvm-project/pull/96537