minor: tweak float printing