New implementation based on `est-eval' and `est-format'.