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