Fixed bug in equal_double