More interval defs; inversion fn.