CoreCompiler tagging int (Closes #81)