Commit e9d7273a57287298df127cf19a68e24c314676e2

Thomas de Grivel 2025-09-17T16:14:59

refactor tag_integer_reduce