1--TEST-- 2Random: Randomizer: nextInt(): Throws for 64 bit engines on 32 bit platforms 3--SKIPIF-- 4<?php if (PHP_INT_SIZE == 8) die("skip 32-bit only"); ?> 5--FILE-- 6<?php 7 8use Random\Randomizer; 9use Random\Engine\Xoshiro256StarStar; 10 11$randomizer = new Randomizer(new Xoshiro256StarStar()); 12 13try { 14 var_dump($randomizer->nextInt()); 15} catch (Random\RandomException $e) { 16 echo $e->getMessage(), PHP_EOL; 17} 18 19?> 20--EXPECT-- 21Generated value exceeds size of int 22