diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 886ffae8d0..acb7127493 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,8 @@
 2003-06-02  Richard Henderson  <rth@redhat.com>
 
+        * alpha-tdep.c (alpha_push_dummy_call): Use
+        builtin_type_ieee_double_little instead of builtin_type_double.
+
         * alpha-tdep.c (alpha_push_dummy_call): Handle ABI mandated 
         sign-extension of 32-bit values.
         (alpha_store_return_value): Similarly.
diff --git a/gdb/alpha-tdep.c b/gdb/alpha-tdep.c
index 8dd2d0d49c..11d46cef81 100644
--- a/gdb/alpha-tdep.c
+++ b/gdb/alpha-tdep.c
@@ -296,7 +296,7 @@ alpha_push_dummy_call (struct gdbarch *gdbarch, CORE_ADDR func_addr,
 	  if (accumulate_size < sizeof (arg_reg_buffer)
 	      && TYPE_LENGTH (arg_type) == 4)
 	    {
-	      arg_type = builtin_type_double;
+	      arg_type = builtin_type_ieee_double_little;
 	      arg = value_cast (arg_type, arg);
 	    }
 	  /* Tru64 5.1 has a 128-bit long double, and passes this by