Buying back a bond for less than its face value plus future interest payments results in a net savings for the United States