Remove outdated mention about promotion of ints to Int