correct binary operation in fpsim;