toJSON(1 / 0.5)
