Thu Aug 29 17:09:47 2002 (chafik) Type Predef = Thu Aug 29 17:09:47 2002 (chafik) Type Type = Double