Luke and his friends are going on a road trip that is 5173750 miles long. They have already driven 3123100 miles. How much farther do they have to drive? Answer in decimal form.