How does pymc3 handle n=0 in Binomial discrete likelihood function

But it doesn’t seem necessary I think. We could just modify these lines to include 0 <= n instead of 0 < n: