title: Opera producing fractional values on scrollTop
body: <p>This is part of a larger program which is handling a scrollbar on a <code>&lt;div&gt;</code> when modifying the height.</p>
  
  <p>When logging the output of various values for moving the scrollbar, there's an issue occurring where values are being produced with decimal places, but only on Opera (version 44.0.2510.1449), and this is only happening on my friend's browser. On my own Opera (version 44.0.2510.1449) I do not encounter the same problem.</p>
  
  <p>Though it's probably irrelevant, the purpose of the code is to find out where the scrollbar is in the div with id <code>#mydiv</code> and do something based on the result.</p>
  
  <p>Similar code with changed variable names:</p>
  
  <pre><code>var myDivHeight = $('#mydiv').height();
  $('#mydiv').height(myDivHeight + 50); //10 extra for padding
  var scrollTop = $('#mydiv').scrollTop();
  var scrollHeight = $('#mydiv').prop('scrollHeight');
  console.log(scrollHeight + '-' + scrollTop + '=' + (scrollHeight - scrollTop));
  console.log(myDivHeight + 60);
  </code></pre>
  
  <p>Note: 60 is due to the changes made to the page dynamically, so the div height has been changed. The result of the output should be that <code>scrollHeight - scrollTop</code> = <code>myDivHeight + 60</code>.</p>
  
  <p>Here's my friend's console output on Opera (giving fractional scrollTop):</p>
  
  <p><a href="https://i.stack.imgur.com/ytco2.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/ytco2.png" alt="Friend&#39;s Opera console output"></a></p>
  
  <p>Here's my console output on Opera:</p>
  
  <p><a href="https://i.imgur.com/JrtQabd.png" rel="nofollow noreferrer"><img src="https://i.imgur.com/JrtQabd.png" alt="My Opera console output"></a></p>
  
  <p>Here's the console output on Chrome:</p>
  
  <p><a href="https://i.imgur.com/M2NrWqk.png" rel="nofollow noreferrer"><img src="https://i.imgur.com/M2NrWqk.png" alt="My Chrome console output"></a></p>
  
  <p>Here's the console output from Firefox:</p>
  
  <p><a href="https://i.imgur.com/FrH4dzU.png" rel="nofollow noreferrer"><img src="https://i.imgur.com/FrH4dzU.png" alt="My Firefox console output"></a></p>
  
  <p>I can't find anyone else reporting this. Has this been reported or seen by anyone else? Is there any way to overcome this?</p>
  
  <p>Thank you.</p>