Base · base.bend:2378
import Base
2378def U32.show(a: U32) -> String: 2379 +b = a 2380 U32.show.if(b, U32.is_zero(b))