dec64_equal_int64