def format_number(number, number_of_digits):
    if number is None:
        return ""
    return "%.{0}f".format(number_of_digits) % number
Pick out the web root from the settings summary page
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/format_number--crossover with--dataset/ETHPy150Open hatRiot/clusterd/src/platform/coldfusion/deployers/schedule_job.py/fetch_webroot