Added number equality checks.  Numbers are considered equal if their
double equivalents are equal (probably not a good policy overall, but
good enough for now).