greet(toJSON(0.5))
