Posts tagged "floating" What’s the right way to QuickCheck floating-point routines? - February 24, 2019
