When 15.5 + 0.125 +