k*2^15 >= 2^30