message: we also do not check floats for being init'd
diff: @@ -29,8 +29,8 @@ program, and cannot run all programs:
  positives here, so if you program runs fine in Miri right now that is by no
  means a guarantee that it is UB-free when these questions get answered.
  - In particular, Miri does currently not check that integers are initialized
  - or that references point to valid data.
  + In particular, Miri does currently not check that integers/floats are
  + initialized or that references point to valid data.
  * If the program relies on unspecified details of how data is laid out, it will
  still run fine in Miri -- but might break (including causing UB) on different
  compiler versions or different platforms.
  