Cast Tf_choice to float first...