WPrefs: Moved content of 'double.h' into 'WPrefs.h'