The older floppy diskettes measured 5 and 1/4 inches on each side. What was the diagonal length of the diskette?