This is useful for interval arithmetic code. (replay of r44002 with the header order hopefully fixed)