title: PHP gettype returning double instead of integer?
body: <p>On my local machine the following returns <code>double</code> instead of <code>integer</code>:</p>
  <pre><code>echo gettype(1625871600000);
  </code></pre>
  <p>This only happens on my Windows 10 machine (it's a 64-bit PC). I'm running MAMP with PHP 7.4.1. On Mac running MAMP with the same PHP version, the same expression returns integer. What could be causing this discrepancy? This is causing errors in some packages I'm running where the number is expected to be int, not float/double.</p>