convert the time budget integer to a real number.#13268

lukka merged 2 commits intomainmicrosoft/vscode-cpptools:mainfrom

dev/convert-integer-to-percmicrosoft/vscode-cpptools:dev/convert-integer-to-percCopy head branch name to clipboard