Explicitly take advantage of the fact that certain probabilities are zero
instead of loading zeros from the CDF padding.

The current code works just fine, but only because those values happen to
be zero due to what is essentially an implementation detail.