I added Tektronix keys to the emulator layout - to address the difference in location of punctuation characters and moved PAGE and BREAK to that key...
I believe the format of Tektronix 4051 floating point took 8 bytes for storage - from looking at the bitsavers 4051 source code microfiche listings. ...