#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b) {
int x = 1;
a %= M;
while (b) {
if (b & 1) x = (x * a) % M;
a = (a * a) % M;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a; //* Val
vector<int> b; //* Wg
double consistency(int n, int x){
vector<pair<int,int>> p;
for(int i=0; i<n; i++){
p.push_back({a[i], b[i]});
}
//* Sort by V/W basis decreasing order
sort(begin(p), end(p), [](const pair<int,int>& a, const pair<int,int>& b){
return a.first * b.second > b.first * a.second;
});
double ans = 0;
for(int i=0; i<n; i++){
double v = p[i].first;
double w = p[i].second;
double rem = w;
if(x-w < 0){
rem = x;
}
v = (rem/w) * v;
x -= rem;
ans += v;
}
return ans;
}
double practice(int n, int x){
return 0;
}
void solve() {
int n, x;
cin>> n >> x;
a.resize(n);
b.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
for(int i=0; i<n; i++) cin >> b[i];
cout << fixed << setprecision(7) << consistency(n, x) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYikgewogICAgaW50IHggPSAxOwogICAgYSAlPSBNOwogICAgd2hpbGUgKGIpIHsKICAgICAgICBpZiAoYiAmIDEpIHggPSAoeCAqIGEpICUgTTsgCiAgICAgICAgYSA9IChhICogYSkgJSBNOwogICAgICAgIGIgPj49IDE7CiAgICB9CiAgICByZXR1cm4geDsKfQoKCi8vXyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKiBTVEFSVCBCZWxvdyAqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgoKCnZlY3RvcjxpbnQ+IGE7IC8vKiBWYWwKdmVjdG9yPGludD4gYjsgLy8qIFdnCgpkb3VibGUgY29uc2lzdGVuY3koaW50IG4sIGludCB4KXsKCQoJdmVjdG9yPHBhaXI8aW50LGludD4+IHA7Cglmb3IoaW50IGk9MDsgaTxuOyBpKyspewoJCXAucHVzaF9iYWNrKHthW2ldLCBiW2ldfSk7Cgl9CgoJLy8qIFNvcnQgYnkgVi9XIGJhc2lzIGRlY3JlYXNpbmcgb3JkZXIKICAgIHNvcnQoYmVnaW4ocCksIGVuZChwKSwgW10oY29uc3QgcGFpcjxpbnQsaW50PiYgYSwgY29uc3QgcGFpcjxpbnQsaW50PiYgYil7CiAgICAgICAgcmV0dXJuIGEuZmlyc3QgKiBiLnNlY29uZCA+IGIuZmlyc3QgKiBhLnNlY29uZDsKICAgIH0pOwogICAgCgogICAgZG91YmxlIGFucyA9IDA7CiAgICAKICAgIGZvcihpbnQgaT0wOyBpPG47IGkrKyl7CiAgICAJZG91YmxlIHYgPSBwW2ldLmZpcnN0OwogICAgCWRvdWJsZSB3ID0gcFtpXS5zZWNvbmQ7CiAgICAJZG91YmxlIHJlbSA9IHc7CiAgICAJCiAgICAJaWYoeC13IDwgMCl7CiAgICAJCXJlbSA9IHg7CiAgICAJfQoJCQogICAgCXYgPSAocmVtL3cpICogdjsKCQl4IC09IHJlbTsgCQoJCWFucyArPSB2OyAgICAJCiAgICB9CgoKCiAgICByZXR1cm4gYW5zOyAgICAKfQoKCgoKCgoKCgoKCgoKCgpkb3VibGUgcHJhY3RpY2UoaW50IG4sIGludCB4KXsKCgogICAgcmV0dXJuIDA7Cn0KCgoKCgp2b2lkIHNvbHZlKCkgewogICAgCiAgICBpbnQgbiwgeDsKICAgIGNpbj4+IG4gPj4geDsKICAgIAogICAgYS5yZXNpemUobik7CiAgICBiLnJlc2l6ZShuKTsKICAgIGZvcihpbnQgaT0wOyBpPG47IGkrKykgY2luID4+IGFbaV07CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBiW2ldOwogICAgCiAgICBjb3V0IDw8IGZpeGVkIDw8IHNldHByZWNpc2lvbig3KSA8PCBjb25zaXN0ZW5jeShuLCB4KSA8PCBlbmRsOwoKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQoKICAgIHJldHVybiAwOwp9