presto-verifier/src/main/java/io/prestosql/verifier/VerifierConfig.java/VerifierConfig/setDoublePrecision
class VerifierConfig:    @ConfigDescription("The expected precision when comparing test and control results")
    @Config("expected-double-precision")
    public VerifierConfig setDoublePrecision(int doublePrecision)
    {
        this.doublePrecision = doublePrecision;
        return this;
    }