pub fn granted(asked: u64, ticket: u64) -> u64
Exact while the two tickets are less than 2^62 apart, as tickets of one client always are (they come from one counter).