The largest whole number of lots, at most max_lots, whose premium
mul_down(probability, quantity) fits max_premium, as a quantity. The probe
is the premium mint admission charges, so the result is exact, and an oversized
budget saturates at max_lots instead of aborting.
The largest whole number of
lots, at mostmax_lots, whose premiummul_down(probability, quantity)fitsmax_premium, as a quantity. The probe is the premium mint admission charges, so the result is exact, and an oversized budget saturates atmax_lotsinstead of aborting.