Why not use smallcheck?

Feels like it doing what it says on the tin Exhaustive checking is pretty underused imo. “only X many floats just test them all” is p effective.