make encoders an integer