reinforce the interpretation of a Byte as a congruence class