Fix bad binary transformation for 32 in the Encoder