diff --git a/syndicate-macros/src/lib.rs b/syndicate-macros/src/lib.rs
index ebec687..586fbc1 100644
--- a/syndicate-macros/src/lib.rs
+++ b/syndicate-macros/src/lib.rs
@@ -27,6 +27,7 @@ use pat::lit;
 
 enum SymbolVariant<'a> {
     Normal(&'a str),
+    #[allow(dead_code)] // otherwise we get 'warning: field `0` is never read'
     Binder(&'a str),
     Substitution(&'a str),
     Discard,
@@ -79,10 +80,6 @@ impl ValueCompiler {
         match v.value() {
             Value::Boolean(b) =>
                 quote!(#V_::Value::from(#b).wrap()),
-            Value::Float(f) => {
-                let f = f.0;
-                quote!(#V_::Value::from(#f).wrap())
-            }
             Value::Double(d) => {
                 let d = d.0;
                 quote!(#V_::Value::from(#d).wrap())
diff --git a/syndicate-macros/src/stx.rs b/syndicate-macros/src/stx.rs
index 9df186a..18c2201 100644
--- a/syndicate-macros/src/stx.rs
+++ b/syndicate-macros/src/stx.rs
@@ -15,7 +15,6 @@ use syn::parse::Parser;
 use syn::parse::ParseStream;
 use syn::parse_str;
 
-use syndicate::value::Float;
 use syndicate::value::Double;
 use syndicate::value::IOValue;
 use syndicate::value::NestedValue;
@@ -266,7 +265,7 @@ fn parse1(c: Cursor) -> Result<(Stx, Cursor)> {
                 IOValue::new(i.base10_parse::<i128>()?)
             }
             Lit::Float(f) => if f.suffix() == "f32" {
-                IOValue::new(&Float(f.base10_parse::<f32>()?))
+                IOValue::new(&Double(f.base10_parse::<f32>()? as f64))
             } else {
                 IOValue::new(&Double(f.base10_parse::<f64>()?))
             }
diff --git a/syndicate-macros/src/val.rs b/syndicate-macros/src/val.rs
index 5902123..c345780 100644
--- a/syndicate-macros/src/val.rs
+++ b/syndicate-macros/src/val.rs
@@ -50,10 +50,6 @@ pub fn value_to_value_expr(v: &IOValue) -> TokenStream2 {
     match v.value() {
         Value::Boolean(b) =>
             quote!(#V_::Value::from(#b).wrap()),
-        Value::Float(f) => {
-            let f = f.0;
-            quote!(#V_::Value::from(#f).wrap())
-        }
         Value::Double(d) => {
             let d = d.0;
             quote!(#V_::Value::from(#d).wrap())
diff --git a/syndicate-server/src/script/mod.rs b/syndicate-server/src/script/mod.rs
index 09ebe97..390983c 100644
--- a/syndicate-server/src/script/mod.rs
+++ b/syndicate-server/src/script/mod.rs
@@ -261,7 +261,6 @@ impl<'env> PatternInstantiator<'env> {
     fn instantiate_pattern(&mut self, template: &AnyValue) -> io::Result<P::Pattern> {
         Ok(match template.value() {
             Value::Boolean(_) |
-            Value::Float(_) |
             Value::Double(_) |
             Value::SignedInteger(_) |
             Value::String(_) |
@@ -372,7 +371,6 @@ impl Env {
     fn instantiate_value(&self, template: &AnyValue) -> io::Result<AnyValue> {
         Ok(match template.value() {
             Value::Boolean(_) |
-            Value::Float(_) |
             Value::Double(_) |
             Value::SignedInteger(_) |
             Value::String(_) |
@@ -605,7 +603,6 @@ impl Env {
 
         Ok(match template.value() {
             Value::Boolean(_) |
-            Value::Float(_) |
             Value::Double(_) |
             Value::SignedInteger(_) |
             Value::String(_) |
diff --git a/syndicate/src/actor.rs b/syndicate/src/actor.rs
index 026a175..f7cd0ab 100644
--- a/syndicate/src/actor.rs
+++ b/syndicate/src/actor.rs
@@ -1991,6 +1991,7 @@ impl Facet {
 }
 
 #[derive(Debug, Clone)]
+#[allow(dead_code)] // otherwise we get 'warning: field `0` is never read'
 pub struct KeepAlive(Option<Arc<Mailbox>>);
 
 impl ActorRef {
diff --git a/syndicate/src/rewrite.rs b/syndicate/src/rewrite.rs
index 12ef60a..19a202c 100644
--- a/syndicate/src/rewrite.rs
+++ b/syndicate/src/rewrite.rs
@@ -121,7 +121,6 @@ impl Pattern {
             Pattern::PDiscard(_) => true,
             Pattern::PAtom(b) => match &**b {
                 PAtom::Boolean => a.value().is_boolean(),
-                PAtom::Float => a.value().is_float(),
                 PAtom::Double => a.value().is_double(),
                 PAtom::SignedInteger => a.value().is_signedinteger(),
                 PAtom::String => a.value().is_string(),