Constant LEASE_MAX_FREQUENCY 

pub const LEASE_MAX_FREQUENCY: u64 = 0x5ea676204a21a276 /* 6_820_268_566_753_944_182u64 */;