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