Introduce EffectivelyZero.
Use EffectivelyZero where needed.