TY  - RPRT
TI  - When Double Rounding is Correct
AU  - Brett Saiki
AU  - Bill Zorn
AU  - Cynthia Richey
AU  - Zachary Tatlock
PY  - 2026
UR  - https://arxiv.org/abs/2610.09005
ID  - 2610.09005
ER  -