????

A man drove 13 mi directly east from his home, made a left turn at an intersection, and then traveled 3 mi north to his place of work. If a road was made directly from his home to his place of work, what would its distance be to the nearest tenth of a mile?