toJSON(type(0.5))
