Budget: PlainDescriptor<bigint>

The total budget per cycle.

This may change over the course of a cycle without any problem.