[Plug-in wp] 96-bits floats

Feature request, as I get:

[kernel] Parsing file.c (with preprocessing)
[kernel] Plug-in wp aborted: unimplemented feature.
  You may send a feature request at https://git.frama-c.com/pub/frama-c/issues with:
  '[Plug-in wp] 96-bits floats'.

I am not sure what this means though!

Edited Jun 08, 2021 by arun-babu

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information