規格に厳密な話をすると
整数型a_typeとb_typeがあって
bit幅がa_type > b_typeであっても
最大値がa_type > b_typeである保証はどこにもないですよね？