15+15.1等于多少?