Fix excel formatting of real valued intervals