Micropython does a much better job, using pointer alignment guarantees to pack in small integers:

https://micropython.org/

Apparently it is too hard to move python proper over to that method because of backwards compatibility issues with C extensions.