def U32.div
import Base1626def U32.div(a: U32, b: U32) -> U32:
1627 U32{aw} = a
1628 U32{+bw} = b
1629 U32.div.if(aw, U32{bw}, U32.is_zero(U32{bw}))
import Base1626def U32.div(a: U32, b: U32) -> U32:
1627 U32{aw} = a
1628 U32{+bw} = b
1629 U32.div.if(aw, U32{bw}, U32.is_zero(U32{bw}))