Quite standard in any big corporation.

You're lucky not having been discussing money budget per ticket instead.

I have had projects where sprints got money budgets assigned to them, which divided by the cost per hour of each developer got us the amount of hours available for the sprint.

Those hours were the budget for the sprint, no more no less, better chose wisely the stories that fit in.

To make it even better, some project activities only were given such kind of budgets in specific times of the year, then one of the external consulting partners would have the go at that specific sprint.

So not only were the tickets chosen to fit the budget, every few couple of months, the teams doing the work were always rotating.