Moved Integer extension to ext_core