min(1) >= i64
