[extraduder_ire]

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.