ldexpu64
return div_u64(ldexpu64(slot_ns * rate, -e), 1000000000);
return div_u64(ldexpu64(mul_u32_u32(1000000000, token), e), slot_ns);
return ldexpu64(burst, -(2 * unit + C));
return ldexpu64(token, 2 * unit + C);