time format in bash

wanted to change the output format from 'time' (the default posix three liner is so wasteful of terminal real estate), but the bash time command ignores the -f option and the TIME env var. (contrary to the man page!) but TIMEFORMAT works:

export TIMEFORMAT="%E real, %U user, %S sys"