AtomDouble was not defined correctly.

H/iatoms.h

@@ -63,6 +63,7 @@
   AtomDBTerm = Yap_LookupAtom("db_term");
   AtomDBref = Yap_FullLookupAtom("$dbref");
   AtomDInteger = Yap_FullLookupAtom("$integer");
+  AtomDOUBLE = Yap_FullLookupAtom("Double");
   AtomDec10 = Yap_LookupAtom("dec10");
   AtomDefault = Yap_LookupAtom("default");
   AtomDevNull = Yap_LookupAtom("/dev/null");

misc/ATOMS

@@ -72,7 +72,7 @@ A	DBReference		N	"db_reference"
 A	DBTerm			N	"db_term"
 A	DBref			F	"$dbref"
 A	DInteger		F	"$integer"
-A	DOUBLE			A	"Double"
+A	DOUBLE			F	"Double"
 A	Dec10			N	"dec10"
 A	Default			N	"default"
 A	DevNull			N	"/dev/null"