Malachi hikes for 2.5 miles and stops for lunch. Then he hikes for 1.5 more miles. How many miles did he hike altogether?​