dc -e?
awk '$0=$1*