Der Compiler macht daraus zum Glück selbst
Wert = Encoder & 0x7F;
Allerdings ist für mich die Frage, was beim Weiterdrehen und danach Zurückdrehen passieren soll.
Ein Überlauf 126 <-> 127 <-> 0 <-> 1 ist wohl oft nicht gewünscht.
Die Frage ist auch, was deine Encoder Library bei read() zurückliefert.
0 / +- 1 / Bei schnellem Drehen mehr ?
Und was sie sonst noch kann?