A Gilmore-Gomory Construction of Integer Programming Value Functions