avoid accidental duplication of cached Python integer constants when using numbers in different notations
Attach a file by drag & drop or click to upload
