If we do figure out how to add identifiers that start with -> to the language, should we rename exact->inexact to ->inexact and inexact->exact to ->exact? It's always seemed funny that exact->inexact allows inexact inputs and inexact->exact allows exact inputs. Kent