Example source of an Android number picker widget