[[Scientific notation]] Arithmetics $12.345 + 1.0001 = 13.3451$ might be rounded to $13.345$