Code shortened for +-Infinity encoding