Hi all,<br><br>I&#39;ve started developing a library to support a &quot;Perl-style&quot; numeric type that &quot;does the right thing&quot; without having to worry too much about types.&nbsp; Explicit static typing of numeric types is really great most of the time, and certainly a good idea for larger projects, but probably everyone&#39;s had one of those experiences where you just want to write some simple, &quot;one-off&quot; numeric code that ends up getting cluttered with all sorts of fromIntegers and whatnot just to make the type checker happy.&nbsp; The idea would be to internally use either an Integer, Rational, or Double, and transparently convert between them as necessary.&nbsp; I know I would enjoy having such a numeric type for use in, 
e.g. programs to solve Project Euler problems.<br><br>But before I get too far (it looks like it will be straightforward yet tedious to implement), I thought I would throw the idea out there and see if anyone knows of anything similar that has already been done before (a cursory search of the wiki didn&#39;t turn up anything).&nbsp; I don&#39;t want to reinvent the wheel here.
<br><br>thanks!<br>-Brent<br><br>PS Also, did anyone get my e-mail to this list of June 8 about Template Haskell and QuickCheck?&nbsp; If you did and it&#39;s just that no one knows the answer to my questions, no problem.&nbsp; But I was subscribed in a strange way (through the 
fa.haskell Google group) and I&#39;m beginning to suspect that perhaps my message never actually got sent over the list.&nbsp; If so I could resend it now that I&#39;m subscribed by more conventional means.<br>