I think it is possible that you might have. AFAICT Irrational is not lazily computed at all, eg π is just 3.14159265358979323846. I think that their advantage is that certain operations are exact, eg \log(e) = 1, see here.
I think it is possible that you might have. AFAICT Irrational is not lazily computed at all, eg π is just 3.14159265358979323846. I think that their advantage is that certain operations are exact, eg \log(e) = 1, see here.