Hi, > Can we somehow make this fix contingent on ports that have suitable > integral modes?
yes; however, maybe it would be easier to wait till Richard finishes the work on not representing the overflow semantics in types (assuming that's going to happen say in a few weeks?), which should make the fix unnecessary, Zdenek