Additive property of equality with decimals