now validates against cpythons 53-bit random() call