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