Well I need a dynamic text because I want to be able to change the numerals with code. The html page will be fetched through the Internet for the general public, so the
CSS @font-face Rule
suggested here
HTML5 custom text embed in Animate CC
doesn't help either. The closest thing I have found is the "refridgerator deluxe" Adobe font, but it isn't what I wished. The next choice is to use bitmap(or vector) images for every digit I have found in Adobe Stock and change it with code but I guess this is not an optimal solution.
Since you're simulating a digital display, it wouldn't be too hard to break apart each digit into a vector shape, then put each digit image in a 10-frame movieclip (with this.stop(); in the first frame), line up however many instances of it you need for the number of digits you have, then to update have a bit of code that converts your number to a string, then iterates over the string and sets each movieclip to the appropriate frame number.
For example, if you had five digit-containing clips named, from right to left, d1, d2, d3, d4, d5, you could use this function to set them to display any positive integer:
var digitRoot = this;
function updateDigits(num) {
var outDigits = 5; // number of digits in the faux digital display
var inDigits = Math.floor(num).toString();
var inDigLen = inDigits.length;
for (var d = 1; d <= outDigits; d++) {
digitRoot["d" + d].gotoAndStop(d <= inDigLen ? inDigits.charCodeAt(inDigLen - d) - 48 : 0);
}
}