def S32.div
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
624def S32.div(a: U32, +b: U32) -> U32:
625 S32.fst(S32.divmod.if(U32.is_zero(b), a, b))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
624def S32.div(a: U32, +b: U32) -> U32:
625 S32.fst(S32.divmod.if(U32.is_zero(b), a, b))