diff --git a/preserves.md b/preserves.md
index 9210751..60edec1 100644
--- a/preserves.md
+++ b/preserves.md
@@ -215,7 +215,7 @@ sequences use [the Preserves binary encoding](preserves-binary.html).
 The total ordering specified [above](#total-order) means that the following statements are true:
 
  - `"bzz"` < `"c"` < `"caa"` < `#:"a"`
- - `#t` < `3.0f` < `3.0` < `3` < `"3"` < `|3|` < `[]` < `#:#t`
+ - `#t` < `3.0` < `3` < `"3"` < `|3|` < `[]` < `#:#t`
  - `[#f]` < `[foo]`, because `Boolean` appears before `Symbol` in the kind ordering
  - `[x]` < `[x y]`, because there is no element remaining to compare against `y`
  - `[a b]` < `[x]`, because `a` is smaller than `x`
@@ -240,7 +240,6 @@ The total ordering specified [above](#total-order) means that the following stat
 | `0`                                                 | B0 00                                                                           |
 | `1`                                                 | B0 01 01                                                                        |
 | `255`                                               | B0 02 00 FF                                                                        |
-| `1.0f`                                              | 87 04 3F 80 00 00                                                               |
 | `1.0`                                               | 87 08 3F F0 00 00 00 00 00 00                                                   |
 | `-1.202e300`                                        | 87 08 FE 3C B7 B7 59 BF 04 26                                                   |
 | `#xd"fff0000000000000"`, negative `Double` infinity | 87 08 FF F0 00 00 00 00 00 00                                                   |