浮動小数の演算で生じる誤差は常に絶対値が小さくなるように行われる、
という前提は正しい?