toJSON(1 + 0.5)
