Removes now unused int extensions