Guaranteeing four digits in a randomly generated number in Arduino