'NaN comparison in the verify() function obviously gives an
incorrect answer:  nan == nan -> False'

def __float__(self, t):

    if (t.cop[0].is_nan() and t.pop[0].is_nan()):
        return True
    return False
