The second answer looks like the best one if you aren’t targeting Android. Otherwise the manual conversion seems best (because of issues like leading zeros).