AppMathIsRealMath

Have you had a chance to look at [Horizon-EDA](https://github.com/horizon-eda/horizon) here on github? I've been playing around a bit with it and so far like it - especially its support for...