Fixed-width integers for Python