3 ms·Let all values encode Rayo's number. 64 bits saved!by danbruc 3y agoLet all values encode Rayo's number. 64 bits saved!