Random number generation on the Arduino