Integer promotions for assertions