Check floats compliance with IEEE 754

[chfast]

This checks if the floating point types used to implement f32 and f64 Wasm types are compliant with IEEE 754.

The CMake check is rather difficult to do. We would need to check if a test program compiles.

[axic]

Well at least with this they'll get a compile time error.

[chfast]

Well at least with this they'll get a compile time error.

How is this different from CMake error?

[axic]

Well at least with this they'll get a compile time error.

How is this different from CMake error?

By "cmake error" I meant which presents itself during configuration, e.g. cmake .., while this will present itself during build cmake --build. I'm fine with either if the configuration part is too complex.

[codecov]

Codecov Report

Merging #462 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #462   +/-   ##
=======================================
  Coverage   99.50%   99.50%           
=======================================
  Files          52       52           
  Lines       14937    14937           
=======================================
  Hits        14863    14863           
  Misses         74       74