12.5125125%

Well, when you have something like that which goes on repeating, you can very well use the denominator as 1000 - 1 (ie no. of repeated digits = no. of zeroes, then you minus one) and the numerator as the repeating digits, or:

I am a moron, I completely misread that question somehow...