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