contributed by Ganesh Ajjanagadde <gajjanag@alum.mit.edu>
(https://sympa.inria.fr/sympa/arc/core-math/2025-03/msg00022.html)