convert FPAddDeNormMod to ospec/ispec