higher bound for the

integer and float type width

where float bits map bits✕