objstr: Fix %d-formatting of floats.