I take it a double headed coin doesn't count as biased for this algorithm. (because it's too biased to still be considered a "coin", for probability's sake.) O

I take it a double headed coin doesn't count as biased for this algorithm. (because it's too biased to still be considered a "coin", for probability's sake.) Otherwise it never halts.