Thanks! By doing nothing at all—these are all just Unicode code points :o So if you're quick you can even copy a time as text. The only tricky thing was the symbol for 20 (and just that) didn't work on Android?? so I detect that and replace with two tens
Some discussion on HN: https://news.ycombinator.com/item?id=44280168