what is the sum of 56.45 and 4.2​