FPE_INTOVF
FPE_INTOVF };
ksi.ksi_code = FPE_INTOVF;
ksi.ksi_code = FPE_INTOVF;
ucode = FPE_INTOVF;
ksi.ksi_code = FPE_INTOVF;
ksi.ksi_code = FPE_INTOVF;
{ SPEFSCR_OV |SPEFSCR_OVH, FPE_INTOVF },
ksi.ksi_code = FPE_INTOVF;
ksi.ksi_code = FPE_INTOVF;
case ATRP_INTOVF: code = FPE_INTOVF; break;
case ATRP_DECOVF: code = FPE_INTOVF; break;