binary: even shorter encodings
0.8.19