diff --git a/src/backends/ocarina-backends-po_hi_ada-runtime.ads b/src/backends/ocarina-backends-po_hi_ada-runtime.ads
index c551344e34adbdc87b7e29195a9f7e354f8aa042..fd70dc49f79fa8dc61be0e7f77a190fd9bc22f37 100644
--- a/src/backends/ocarina-backends-po_hi_ada-runtime.ads
+++ b/src/backends/ocarina-backends-po_hi_ada-runtime.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---    Copyright (C) 2006-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.      --
+--    Copyright (C) 2006-2009 Telecom ParisTech, 2010-2013 ESA & ISAE.      --
 --                                                                          --
 -- Ocarina  is free software;  you  can  redistribute  it and/or  modify    --
 -- it under terms of the GNU General Public License as published by the     --
@@ -175,6 +175,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
       RE_Natural,                    --  Standard.Natural
       RE_Positive,                   --  Standard.Positive
       RE_Float,                      --  Standard.Float
+      RE_Long_Float,                 --  Standard.Long_Float
       RE_String,                     --  Standard.String
       RE_Character,                  --  Standard.Character
       RE_Wide_Character,             --  Standard.Wide_Character
@@ -272,6 +273,7 @@ package Ocarina.Backends.PO_HI_Ada.Runtime is
          RE_Natural                    => RU_Standard,
          RE_Positive                   => RU_Standard,
          RE_Float                      => RU_Standard,
+         RE_Long_Float                 => RU_Standard,
          RE_String                     => RU_Standard,
          RE_Character                  => RU_Standard,
          RE_Wide_Character             => RU_Standard,
diff --git a/src/backends/ocarina-backends-po_hi_ada-types.adb b/src/backends/ocarina-backends-po_hi_ada-types.adb
index c9926b2dc20307c9b9f022caacf7ae306e63fc5e..312e5cde3d6176cac579302705dfff5c2b04eaac 100644
--- a/src/backends/ocarina-backends-po_hi_ada-types.adb
+++ b/src/backends/ocarina-backends-po_hi_ada-types.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---    Copyright (C) 2006-2009 Telecom ParisTech, 2010-2012 ESA & ISAE.      --
+--    Copyright (C) 2006-2009 Telecom ParisTech, 2010-2013 ESA & ISAE.      --
 --                                                                          --
 -- Ocarina  is free software;  you  can  redistribute  it and/or  modify    --
 -- it under terms of the GNU General Public License as published by the     --
@@ -417,12 +417,10 @@ package body Ocarina.Backends.PO_HI_Ada.Types is
                      end;
 
                   when Data_Float =>
-                     --  In HI system floating point types are not supported
-
-                     Display_Located_Error
-                       (Loc (E),
-                        "No floating point in for HI applications",
-                        Fatal => True);
+                     N := Make_Full_Type_Declaration
+                       (Defining_Identifier => Map_Ada_Defining_Identifier (E),
+                        Type_Definition     => Make_Derived_Type_Definition
+                        (RE (RE_Long_Float)));
 
                   when Data_Fixed =>
                      declare