Commit 44f02481f8e19133a4ad889a6fefd4be79240bfd

Thomas de Grivel 2025-09-17T16:34:45

fix refactor of tag_integer_reduce