Having a correct `_cdf(inf, c)` is a bonus and desired. However, IIRC, cdf wouldn't/shouldn't delegate to _cdf if `x == .b == inf` and the wrapper code should return 1.