toJSON(1 * i64)
