Allow to encode int64/nativeint as strings.