Bucket filling up is still an approximation

[julik]

When we return the level of the bucket it is a floating-point value, which we then check against the maximum level with a delta. This is imprecise. In Prorate a special boolean variable gets returned indicating whether the bucket has overflown or not. We need to add something similar into the RETURNING clause