When is double rounding innocuous? – PaperGrep

https://papergrep.dev/paper/when-is-double-rounding-innocuous-3ef4ba