title: If numbers are equal can be I sure that results of any mathematical operation on them are also equal?
body: <p>Suppose I have six <em>double</em> numbers: <em>a, b, c, a2, b2, c2</em></p>
  
  <p>I know that:</p>
  
  <pre><code>a == a2
  b == b2
  c == c2
  </code></pre>
  
  <p>Can I be sure that on all platforms and JVM versions:</p>
  
  <pre><code>a * b + c == a2 * b2 + c2 // This runs within the same JVM process
  </code></pre>
  
  <p>It is assumed that the result of this operation is finite (not infinity) and not NaN</p>