Add floating point support

[lsrcz]

This pull request adds floating point support to grisette

[codecov]

Codecov Report

Attention: Patch coverage is 41.00629% with 469 lines in your changes missing coverage. Please review.

Project coverage is 57.57%. Comparing base (8e0c651) to head (1c7e7bb).

❗ Current head 1c7e7bb differs from pull request most recent head 319e44c

Please upload reports for the commit 319e44c to get more accurate results.

Files	Patch %	Lines
...rc/Grisette/Internal/SymPrim/Prim/Internal/Term.hs	36.98%	75 Missing and 17 partials ⚠️
src/Grisette/Internal/SymPrim/SymFP.hs	4.54%	62 Missing and 1 partial ⚠️
src/Grisette/Internal/SymPrim/BV.hs	7.14%	39 Missing ⚠️
src/Grisette/Internal/SymPrim/FP.hs	64.48%	28 Missing and 10 partials ⚠️
src/Grisette/Internal/Core/Data/Class/IEEEFP.hs	50.00%	37 Missing ⚠️
src/Grisette/Internal/SymPrim/Prim/TermUtils.hs	0.00%	32 Missing ⚠️
...l/SymPrim/Prim/Internal/Instances/SupportedPrim.hs	50.00%	21 Missing and 5 partials ⚠️
src/Grisette/Internal/Core/Data/Class/GenSym.hs	0.00%	19 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/SOrd.hs	0.00%	12 Missing ⚠️
src/Grisette/Internal/Core/Data/Class/ToCon.hs	0.00%	12 Missing ⚠️
... and 18 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #207      +/-   ##
==========================================
- Coverage   59.50%   57.57%   -1.94%     
==========================================
  Files          78       85       +7     
  Lines        6537     7331     +794     
  Branches      633      676      +43     
==========================================
+ Hits         3890     4221     +331     
- Misses       2014     2434     +420     
- Partials      633      676      +43     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.