fix spacing
PER-encoding of integers wider than 32 bits