The generated code should use `Int` as the default for numeric values. An option could be added to support `Integer` as well for arbitrary precision.