What is the sum of: 5.24 + 3.12?