Gravar-mail: Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic