Improving the precision of SORN arithmetic by introducing fused operations Bärthel, Moritz Rust, Jochen Gustafson, John Paul, Steffen 2022 - ReposIt