binding: stdint types are actually supported, use them
setup.py: include the generated extension