first(array) <= i64
