Improved doctest for binom_P