toJSON(0.5 ^ 1)
