The font they are using is called "Ubuntu" ("Ubuntu Light", to be exact, I think), which is fairly distinct from Apple's choice of Helvetica, even in the limited area of clock digits

You can type in some example times here to see:

http://font.ubuntu.com/