feat(kore): add IEEE float builtin support#4142

Stevengre wants to merge 2 commits intomasterruntimeverification/haskell-backend:masterfrom

zhaoji/ieee-float-verification-supportruntimeverification/haskell-backend:zhaoji/ieee-float-verification-supportCopy head branch name to clipboard