Exact addition using accumulators has progressed since the work of Zhu and Hayes in 2010. See my paper at https://arxiv.org/abs/1505.05571 https://arxiv.org/ab

Exact addition using accumulators has progressed since the work of Zhu and Hayes in 2010. See my paper at https://arxiv.org/abs/1505.05571 https://arxiv.org/abs/1505.05571 (repository at https://gitlab.com/radfordneal/xsum https://gitlab.com/radfordneal/xsum), which is used in the Julia xsum package (https://docs.juliahub.com/General/Xsum/stable/ https://docs.juliahub.com/General/Xsum/stable/). There's also recent work by Marko Lange at https://web.archive.org/web/20220616031105id_/https://dl.acm.org/doi/pdf/10.1145/3544488 https://web.archive.org/web/20220616031105id_/https://dl.acm... I think these methods are probably faster than the exact methods you benchmark.