Text this: Automatic Modular Abstractions for Template Numerical Constraints