provide also a binary encoding