Package interval_crlibm