I don't mind `toJson` but the reasoning was that JSON is more common these days in ordinary programming than e.g. a "modulo division" is. Common operations deserve an operator symbol -- whether these operations came from math or not.
"Tradition is the transmission of the fire and not the worship of the ashes."
