Just as a side note, I've seen disclaimers thrown around that the same seed gives different sequences on different targets, so the HTML5 source might be different from the RNG used on desktop targets, and so on, so inspecting one target's source tells you nothing about the others, and if you want consistent set-seed RNG between different ports of your game, you can't rely on the built-in system. Not sure if this was unified in GMS2 or is still a valid caveat. Okay, GMS2 manual still has the disclaimer.