Let's make sure `get_random_number()` includes `$max`