adding two predicates to detect denormals