def W64.div.go
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
271def W64.div.go(a: W64, +b: W64) -> W64 & W64:
272 match a:
273 case W64{U32{hw}, U32{lw}}:
274 W64.div.bits(32n, lw, b, W64.div.bits(32n, hw, b, (W64.zero(), W64.zero())))