Encode presburger arithmetic in regexps

[Drup]

According to @chambart, Presburger Arithmetic is encodable in regexps and would allow to express numerical guards for url components.

Such wonderful expressive powers would come at the cost of double exponential (apparently) blowup and probably type insanity.

@chambart volunteered for such a task.