py: Fix type of integer in decoding int.