toJSON(i32 * i)
