I tested the "calculate base for discount with tax included" in the Company Profile and whether it's checked or not doesn't seem to make any difference. Either way, it calculates the discount pre-tax.