pub fn widen15(d: [b17; 15]) -> [b17; 16]
Fifteen digits widened to sixteen (top digit zero), so a 255-bit value can go through pack16.
pack16