toJSON(int(0.5))
