DONALD-DOUBLE (DDOUBLE)