[stdlib] Simplify `Int.floordiv` and friends#3497

Open

soraros wants to merge 1 commit intomodularml:nightlyfrom soraros:fix-int-floordiv

+12-29

Commits on Nov 9, 2024

[stdlib] Simplify Int.__floordiv__ and friends
soraros
committed