What is the sum of 23.241 and 2.412?