do not apply de-morgan's laws on floats, nans break them