Determine if exp is all binary zeros.
expression to check
true if it's all binary 0
See Implementation
Determine if exp is all binary zeros.