Untitled

echo "<br>randomid for ".$userid.": ".$randomid." - ".intval($randomid)." - ".(is_int($randomid) ? "yes" : "no");

randomid for 991: 8137877181 - 2147483647 - no
randomid for 993: 667770086 - 667770086 - no
randomid for 1053: 257858895 - 257858895 - no
randomid for 1090: 671181521 - 671181521 - no
randomid for 1097: 8489053173 - 2147483647 - no
randomid for 1098: 431721611 - 431721611 - no
randomid for 1108: 6691448843 - 2147483647 - no
randomid for 1112: 3674912698 - 2147483647 - no
randomid for 1118: 7194022412 - 2147483647 - no
randomid for 1119: 3761955661 - 2147483647 - no
randomid for 1120: 7227711376 - 2147483647 - no
randomid for 1121: 4852690207 - 2147483647 - no
randomid for 1128: 2580317214 - 2147483647 - no
randomid for 1129: 8343515757 - 2147483647 - no
randomid for 1137: 5690011489 - 2147483647 - no
randomid for 1139: 8538674813 - 2147483647 - no
randomid for 1142: 1370644701 - 1370644701 - no
randomid for 1143: 1237199372 - 1237199372 - no
randomid for 1149: 2074063068 - 2074063068 - no
randomid for 1179: 2127878258 - 2127878258 - no