diff --git a/src/c_gen.rs b/src/c_gen.rs
index 8b7f938..3ee1259 100644
--- a/src/c_gen.rs
+++ b/src/c_gen.rs
@@ -30,6 +30,10 @@ pub fn get_c_repr_type(dict: &mut impl TypeDict, t: laddertypes::TypeTerm, skip_
                 Some("uint32_t".into())
             } else if t == &dict.parse("x86.UInt64").expect("parse") {
                 Some("uint64_t".into())
+            } else if t == &dict.parse("native.Float").expect("parse") {
+                Some("float".into())
+            } else if t == &dict.parse("native.Double").expect("parse") {
+                Some("double".into())
             } else {
                 match t {
                     laddertypes::TypeTerm::App(args) => {