fix new_double