Intended scope of the `zify`tactic

Stream: mathlib4

[Aaron Hill]

I'm interested in trying to make zifywork with Asymptotics.IsBigO (shifting the functions and Filter from N to Z). Is this considered in scope for that tactic?