def W64.divmod
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
283# the quotient and the remainder; by zero, the quotient is 0 and the
284# remainder is a (as bend-kit-int's U64, used before, answered)
285def W64.divmod(+a: W64, +b: W64) -> W64 & W64:
286 W64.divmod.pick(W64.is_zero(b), a, b)