emeryberger merged emeryberger/SnakeLean#39 · July 13, 2026 15:09 transpiler: exact integer Int.tdiv/tmod (F36) #39 BugTruncated Int division emitted Python int(a / b), and truncated modulo int(math.fmod(a, b)) — routing Lean's arbitrary-precision Int through IE… +88 -8