Experiment with value encodings