diff --git a/crates/ailang-check/src/mono.rs b/crates/ailang-check/src/mono.rs
index b0c29fd..abaaec0 100644
--- a/crates/ailang-check/src/mono.rs
+++ b/crates/ailang-check/src/mono.rs
@@ -89,8 +89,8 @@ fn workspace_has_typeclasses(ws: &Workspace) -> bool {
 }
 
 /// Iter 22b.3: deterministic mono-symbol name for a `(method,
-/// type)` pair. Primitive types (`Int`, `Bool`, `Str`, `Float`,
-/// `Unit`) produce `<method>#<surface-name>` for diagnostic and
+/// type)` pair. Primitive types (`Int`, `Bool`, `Str`, `Unit`)
+/// produce `<method>#<surface-name>` for diagnostic and
 /// ABI legibility. All other types — parameterised cons,
 /// user-defined ADTs, function types — fall to
 /// `<method>#<8-hex-prefix-of-canonical-type-hash>`. The hash
@@ -123,7 +123,6 @@ fn primitive_surface_name(ty: &Type) -> Option<&'static str> {
             "Int" => Some("Int"),
             "Bool" => Some("Bool"),
             "Str" => Some("Str"),
-            "Float" => Some("Float"),
             "Unit" => Some("Unit"),
             _ => None,
         },