No need to seed the randomness. True randomness is fine, as with the other implementations