Select Code to Download

/^\d+\.txt$/

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

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

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

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