Purging old Integer extension.