I've been using a Palomar knot for roughly 30 years on most everything I tie. Don't know how to tie a double and cant imagine why you would need too. The line is doubled in the first place and can't possibly pull out.
I've caught huge pike using these knots and swear by them.