(**) operator test failure for FP.

[lsrcz]

See https://github.com/lsrcz/grisette/actions/runs/9734648723/job/26862937631. The test for the (**) operator has failed during the random test.

The bug is most likely an sbv bug or a bug in our test suite, where we used encodeFloat and decodeFloat to compare FP and Float. Need more time to investigate.

[lsrcz]

Likely because Float isn't really a 32-bit IEEE floating point number.

Related: https://gitlab.haskell.org/ghc/ghc/-/issues/3134.