message: Fallthrough to parsing as float if parsing as int fails
diff: @@ -126,6 +126,10 @@ def __parse(seqfile):
  try:
  # See if it translates to an integer:
  return int(arg)
  + except ValueError:
  + try:
  + # See if it translates to a float:
  + return float(arg)
  except ValueError:
  # Otherwise it is an enum type:
  return str(arg)
  