public integer(name as String, defaultValue as Int = 0) as Int:
Reads an integer option.
name
defaultValue
Integer value.
files = config.integer("files", 10)