Thou shalt not use proportional font for numbers

Here is why it's a bad idea to use proportional width for arabic digits for UI / system fonts. Shown: Firefox audio elements, OpenJDK application with native look-and-feel, VLC