avoid accidental duplication of cached Python integer constants when using numbers in different notations
remove some unused code