anchor.diff:  	 res = sV1.sign ? (res << 1) : (res << 6);
         end
   
  -      fa_driveResponse (res, 0);
         resultR     <= tagged Valid (tuple2 (res, 0));
         stateR      <= FBOX_RSP;
      endrule
  
positive.code:       match {.f, .e} = Tuple2#(FDouble, FloatingPoint::Exception)'(vFixedToFloat( v, 6'd0, rmd ));
        Bit #(64) res = pack ( f );
        let fcsr = exception_to_fcsr(e);
        fa_driveResponse (res, fcsr);
        resultR     <= tagged Valid (tuple2 (res, fcsr));
        stateR      <= FBOX_RSP;
     endrule
  
negative.code:                         , sfd:   dV1.sfd};
  
        Bit #(64) res = pack (r1);
        resultR     <= tagged Valid (tuple2 (res, 0));
        stateR      <= FBOX_RSP;
     endrule
  