toJSON(abs(0.5))
