RAND_add() wants a double as it's last argument.