DB<205>  for (254..263) {$x = 1000 * ( $_ + 4/25 ); printf "%.20f\n", $x} 

254160.00000000000000000000
255160.00000000000000000000
256160.00000000002910383046
257160.00000000002910383046
258160.00000000002910383046
259160.00000000002910383046
260160.00000000002910383046
261160.00000000002910383046
262160.00000000000000000000
263160.00000000000000000000