Simplify use of random_choose() by using overloading.