Please refresh my memory. Perhaps that was something I removed or a repo I deleted?
Are you refering to the decimal.js extension?