I had a '86 Ironman 62cm CTT with a 57 CTC top tube. Later, I had an 58cm with a 56.5 top tube. It seems for that year, the bigger ones had shorter topmtubes.
__________________
I don't do: disks, tubeless, e-shifting, or bead head nymphs. But I do hate all e-bikes.