int(toJSON(i32))
