Adding decimals: 9.087+15.31