Returns the name of the final number with the given index. The number of final functions is given by the property no_final_numbers.