My flag weight is displayed with decimals. Currently it reads "510.0000" both on my user page for the main site and on my flagging summary page for the main site (no sense in linking the latter since they seem to be private). The following image shows how it currently looks on my user page:
I have only noticed this behavior for my current flag weight. Am I right in assuming that it's a bug?