We previously heard of the same problem in int24div(), so there's not a
good reason to suppose the problem is confined to cases involving int8.