[XLScc] XlsInt division by zero does not match ac_int

long long my_package() {
XlsInt<47, false> result = 0;
XlsInt<1, false> input = 0;
XlsInt<2, true> v2 = 0;
result = input / v2;
return result.to_long();
}
Gives the result: 1

long long my_package() {
ac_int<47, false> result = 0;
ac_int<1, false> input = 0;
ac_int<2, true> v2 = 0;
result = input / v2;
return result.to_long();
}
Gives the result: 216