Android app for generating random numbers.