(contributed by Erik E. <evonatarius@gmail.com>)

See https://sympa.inria.fr/sympa/arc/core-math/2024-10/msg00000.html