[phpstorm-stubs] gmp_random is not Pure. it changes state in GMP

Author: isfedorov

gmp/gmp.php

@@ -509,7 +509,6 @@ function gmp_sign(GMP|string|int $num): int {}
  * @removed 8.0
  */
 #[Deprecated(reason: "Use see gmp_random_bits() or see gmp_random_range() instead", since: "7.2")]
-#[Pure(true)]
 function gmp_random($limiter = 20) {}
 
 /**