I think most libraries work just fine by being generic over SomeReal (at least, that is the approach I used in Neo).
The real annoyance is with literals, and I think that the solution proposed by Araq is convenient and useful, and also does not require any compiler changes. It would make a great addition in the `future` module!
