GenBinary: use Int encoding with dynamic length

This meas that integers close to 0 require significantly less space than 64-bit.