Fix integer display for mixed number format in number-line widget

This annoyed me one too many times; if you want to code it better, go for it. This was just a quick fix.

Test Plan: see that 2 is no longer 2 0

Auditors: jack