zsh: update float output