Add no_floating_points feature flag.#747

mpapierski wants to merge 1 commit intozcash:mainzcash/halo2:mainfrom

mpapierski:no-floating-pointsmpapierski/halo2:no-floating-pointsCopy head branch name to clipboard