explicitly cast values to int

This is needed because, per [this PHP RFC](https://wiki.php.net/rfc/invalid_strings_in_arithmetic), PHP 7.1 will throw errors when not explicitly casted numeric values are used in arithmetic.

1 files changed, 3 insertions, 3 deletions

diff --git a/lib/random.php b/lib/random.php
index a880259..3175a9c 100644
--- a/lib/random.php
+++ b/lib/random.php
@@ -34,9 +34,9 @@ if (!defined('PHP_VERSION_ID')) {
     $RandomCompatversion = explode('.', PHP_VERSION);
     define(
         'PHP_VERSION_ID',
-        $RandomCompatversion[0] * 10000
-        + $RandomCompatversion[1] * 100
-        + $RandomCompatversion[2]
+        (int) $RandomCompatversion[0] * 10000
+        + (int) $RandomCompatversion[1] * 100
+        + (int) $RandomCompatversion[2]
     );
     $RandomCompatversion = null;
 }