# Default Real (Float) kind?

**URL:** https://discourse.julialang.org/t/default-real-float-kind/129631
**Category:** Internals & Design
**Tags:** float
**Created:** [June 4, 2025, 7:59am UTC](https://discourse.julialang.org/t/default-real-float-kind/129631 "2025-06-04T07:59:20Z")
**Posts on this page:** 1
**Showing post:** 46

<div class="post-metadata">

### Author: ![Tamas\_Papp](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/tamas_papp/32/25949_2.png) [@Tamas\_Papp](https://discourse.julialang.org/u/Tamas_Papp)
#### Post date: [June 6, 2025, 7:06pm UTC](https://discourse.julialang.org/t/default-real-float-kind/129631/46 "2025-06-06T19:06:38Z")

</div>

> [@danielwe](#):
>
> so you would indeed get different results from a system that only does deferred promotion of irrationals

That, but also the simple deferred calculation approach is orders of magnitude simpler. It is something we could have in the short run: dusting off IrrationalExpressions.jl or creating something similar is a relatively simple undertaking, but an RRA approach would take much longer I guess. (But if anyone wants to do it, that is great too).

> [@moble](#):
>
> And it looks to me like [`TypeDomainNaturalNumbers.jl`](https://gitlab.com/nsajko/TypeDomainNaturalNumbers.jl) can do that and more.

It seems to be more CAS-like, and in the type domain, with all the related advantages and disadvantages. My understanding is that the [motivation is different](https://discourse.julialang.org/t/type-domain-static-integers/118568/13), but I have not read the whole source thoroughly.

---

_[View the full topic](https://discourse.julialang.org/t/default-real-float-kind/129631)._