@joe checking integral type representation... twos-complement