Fix flaky round_value property test#510

gcomte merged 1 commit intomastergcomte/bitcoinvert:masterfrom

fix/property-test-floating-point-v2gcomte/bitcoinvert:fix/property-test-floating-point-v2Copy head branch name to clipboard