Using machine-readable dynamic tag for `<time datetime="">`

I was going to use the `<time>` tag with the `datetime` attribute in the HTML template, but there is no tag for a machine-readable version of the modified date. I could manually change the formatting to be so, but then I'd lose the custom formatting that I want to display.