Evaluated proc / {a b} {expr $a / $b}