Suggestion: FFastMath intrinsics in stable

I've proposed this before, and the discussion has been lost to bikeshedding. It went like this:

  1. If you allow fast math, then it needs the floats to be non-NaN.
  2. People who want floats to be non-NaN may also want to control whether these are signaling NaNs and whether Inf is allowed.
  3. This would require a complex type wrapper for floats and have generic arguments that customize every IEEE-754 feature under the sun.
  4. Such wrapper would be too complex and couldn't possibly work, because upholding all of the invariants would require runtime checks, e.g. after every division.
1 Like