Compression tool for numerical time series