import strfmt
const r = 7.125
echo r
echo((-r).format("9.3f"))
echo(r.format("9.3f"))
echo((-r).format("09.3f"))
echo(r.format("09.3f"))