def format_number(number, number_of_digits):
    if number is None:
        return ""
    return "%.{0}f".format(number_of_digits) % number
The function format_number() return a string-representation of a number
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/format_number