pub fn is_power_of_2<T>(v: T) -> bool where T: Zero + One + Copy + PartialOrd + BitAnd<T, Output = T> + Sub<T, Output = T>,
Determine if a given integer is an exact power of 2.