WASHINGTON -- Right-hander Javier Vazquez said Saturday that he has not made a final decision about his future in the big leagues. If he decides to make a comeback, he would consider playing for the Nationals even though their rotation is set.

The last time Vazquez pitched was in 2011 with the Marlins, going 13-11 with a 3.69 ERA in 32 starts. He announced his retirement at the end of that season. Vazquez is currently pitching for Criollos de Caguas of the Puerto Rico Winter League. He last pitched Friday, going six shutout innings in an 8-1 victory over Cangrejeros de Santurce.

The Nationals, looking for pitching depth, have been scouting Vazquez, according to published reports. Vazquez's fastball has been clocked as high as 93 miles per hour, according to WEEI.com.

"I am seriously considering pitching again, but have not made a final decision," Vazquez said in an e-mail to MLB.com. "Certainly, If I do come back, Washington is definitely a place I would consider. I'm feeling really good and throwing the ball well."

At his best, Vazquez is a strikeout pitcher who could win his share of games. In 2009, Vazquez went 15-10 with a 2.87 ERA and 238 strikeouts for the Braves.

Vazquez also has a history with the Nationals' franchise. He played for the Expos from 1998 to 2003. After the '03 season, the Expos traded Vazquez to the Yankees for first baseman Nick Johnson, outfielder Juan Rivera and pitcher Randy Choate.

Besides the Expos, Marlins and Braves, Vazquez also played for the Yankees, D-backs and White Sox.

During his 14-year career, Vazquez is 165-160 with a 4.22 ERA.