The code for checking success or failure is laughably simple, but I just made a table to log certain data for further testing. We love you guys that much!

mt_rand() belongs to the integers in [0, mt_getrandmax()]

therefore, mt_rand()/mt_getrandmax() belongs to [0,1]

(mt_rand(1, 100)/100) isn't quite what we want because SDI defense is more finely grained than integers.