Progressive jackpots claimed off added bonus-derived fund are usually omitted