diff --git a/crates/ailang-core/specs/form_a.md b/crates/ailang-core/specs/form_a.md
index 4b492a2..34405ca 100644
--- a/crates/ailang-core/specs/form_a.md
+++ b/crates/ailang-core/specs/form_a.md
@@ -156,7 +156,7 @@ Atom forms (no parens):
 - `INT` — integer literal
 - `STRING` — string literal
 - `true`, `false` — bool literals
-- `FLOAT` — IEEE-754 binary64 literal in surface form (e.g. `1.5`, `1.5e3`, `1e10`). In Form-A the literal carries the bit pattern as a 16-character lowercase hex string in `{"kind":"float","bits":"<hex>"}`. Surface lex lands in iter 2 of the Floats milestone; the Form-A canonical-bytes shape is stable from iter 1.
+- `FLOAT` — IEEE-754 binary64 literal: e.g. `1.5`, `1.5e3`, `1e10`.
 - `NAME` — variable reference (parameter, local, top-level def, or import alias)
 
 Parenthesised forms: