/^\d+\.txt$/

##</code><code>##

/^\d+(\.\d+)?\.txt$/

##</code><code>##

/^-?\d+(\.\d+)?\.txt$/

##</code><code>##

print 0+"1.1.1.txt"         # 1.1
print 0+"-3.14.foo"         # -3.14

##</code><code>##

print int("1.1.1.txt")      # 1
print int("-3.14.foo")      # -3