Hi thaumasiotes, Mathematician here, and somewhow interested in this discussion. I am curious of your definition of full_sqrt, what would be the value of full_sqrt(-3) ?