"Building" and "production" (aka. industry) show decimal digit in Planet view,
but not in galaxy view for the planet or vice versa. Stay consistent by always
using the more detailed view (single digit after decimal point).
Original issue reported on code.google.com by brent.c....@gmail.com on 3 Apr 2014 at 6:13
Original issue reported on code.google.com by
brent.c....@gmail.com
on 3 Apr 2014 at 6:13