presto-verifier/src/main/java/io/prestosql/verifier/VerifierConfig.java/VerifierConfig/getDoublePrecision
class VerifierConfig:    public int getDoublePrecision()
    {
        return doublePrecision;
    }