@josef-pkt: Good point.  So it is not essential that `_cdf` handle `inf`, but it would be nice.