rewrite Trig[BigDecimal] using Real
rewrite Trig[BigDecimal] using Real

siddhartha-gadgil/spire,tixxit/spire,AlecZorab/spire,codeaudit/spire,guersam/spire,tixxit/spire,JackSullivan/spire,woparry/spire,JackSullivan/spire,siddhartha-gadgil/spire,AlecZorab/spire,kevinmeredith/spire,non/spire,rklaehn/spire,guersam/spire,woparry/spire,rklaehn/spire,adampingel/spire,non/spire,kevinmeredith/spire,codeaudit/spire,adampingel/spire