l:Integer If enumerated, then the lower bound on the support of p.
u:Integer If enumerated, then the upper bound on the support of p.
z:Real[_] If enumerated, then the probabilities across the support of p, starting from l.
Z:Real If enumerated, then the sum of z.