diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 418550a499..fe5967d05c 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2007-04-13  Paul Brook  <paul@codesourcery.com>
+
+	* target-descriptions.c (tdesc_named_type): Add ieee_single and
+	ieee_double.
+	* doc/gdb.texinfo: Document ieee_single and ieee_double target types.
+
 2007-04-13  Daniel Jacobowitz  <dan@codesourcery.com>
 
 	* mips-mdebug-tdep.c, mips-mdebug-tdep.h, ocd.c, ocd.h, ppc-bdm.c,
diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 4be576b898..ce0764f3a5 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -25611,6 +25611,12 @@ pointers; printing a code pointer converts it into a symbolic
 address.  The stack pointer and any dedicated address registers
 may be marked as data pointers.
 
+@item ieee_single
+Single precision IEEE floating point.
+
+@item ieee_double
+Double precision IEEE floating point.
+
 @item arm_fpa_ext
 The 12-byte extended precision format used by ARM FPA registers.
 
diff --git a/gdb/target-descriptions.c b/gdb/target-descriptions.c
index e89aceca30..7d6652d351 100644
--- a/gdb/target-descriptions.c
+++ b/gdb/target-descriptions.c
@@ -382,6 +382,12 @@ tdesc_named_type (const struct tdesc_feature *feature, const char *id)
   if (strcmp (id, "uint64") == 0)
     return builtin_type_uint64;
 
+  if (strcmp (id, "ieee_single") == 0)
+    return builtin_type_ieee_single;
+
+  if (strcmp (id, "ieee_double") == 0)
+    return builtin_type_ieee_double;
+
   if (strcmp (id, "arm_fpa_ext") == 0)
     return builtin_type_arm_ext;