Python returned zero. The coin model still assigned a positive probability.
A developer demonstrated that binary64 floating-point arithmetic silently collapses the likelihoods of two competing coin models to zero at long sequence lengths, erasing the difference between them. …