Limited extended integer type redifinition (#233)