[i64, div]
