pub fn binary_search<T, F>(low: T, high: T, f: F) -> Twhere T: Num + PartialOrd + Copy, F: FnMut(T) -> bool,