def W64.div10

bendtorch-load@1.3.0.0 · main.bend:60

import Base

60# (a / 10, a % 10), by long division in 16-bit steps so no partial remainder overflows a U32
61def W64.div10(a: W64) -> W64 & U32:
62  match a:
63    case W64{+h, +l}:
64      +t = (U32.shln(U32.mod(h, 10), 16n) + U32.shrn(l, 16n) : U32)
65      W64.div10_go(U32.div(h, 10), U32.mod(t, 10), U32.div(t, 10), l)