toJSON(1 ^ 0.5)
