use ispec/ospec in FPRoundMod