Remove the now unused Int.wrap extension.