352c352
< temp += (ra_ub >= rb_ub) ?
---
> temp += (ra_ub >= rb_ub) ?
381,382c381,382
< if (!(temp<0:0> & ULL(0x1))) {
< temp >>= 1; count += 1;
---
> if (!(temp<0:0> & ULL(0x1))) {
> temp >>= 1; count += 1;
389c389
< 0x34: unpkbw({{
---
> 0x34: unpkbw({{
418c418
< temp = ((temp << 8)
---
> temp = ((temp << 8)
434c434
< temp = ((temp << 16)
---
> temp = ((temp << 16)
450c450
< temp = ((temp << 8)
---
> temp = ((temp << 8)
466c466
< temp = ((temp << 16)
---
> temp = ((temp << 16)
482c482
< temp = ((temp << 8)
---
> temp = ((temp << 8)
498c498
< temp = ((temp << 16)
---
> temp = ((temp << 16)
514c514
< temp = ((temp << 8)
---
> temp = ((temp << 8)
530c530
< temp = ((temp << 16)
---
> temp = ((temp << 16)