integer encoding support