What is the result of the following addition: $12.5 + 7.75$?