Add int encoders.