The Prüfer 2-group can be viewed as the dyadic rationals modulo 1.
XOR can also be viewed as addition modulo 2.