Symbol: is_power_of_two_u64