def W64.show

bendtorch-load@1.3.0.0 · main.bend:82

import Base

82# the decimal digits, as U32.show writes them
83def W64.show(+a: W64) -> String:
84  W64.show_if(W64.is_zero(a), a)