@atoponce@fosstodon.org I wonder how long he ran it before concluding it “was completely and undeniably unable to generate the number zero in its unit”. The rdrand instruction produces a 64 bit result.