# Rational in subtypes(Real)?

**URL:** https://discourse.julialang.org/t/rational-in-subtypes-real/1714
**Category:** Internals & Design
**Created:** [January 26, 2017, 11:53pm UTC](https://discourse.julialang.org/t/rational-in-subtypes-real/1714 "2017-01-26T23:53:25Z")
**Posts on this page:** 3
**Page:** 1

<div class="post-metadata">

### Author: ![JeffreySarnoff](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jeffreysarnoff/32/1980_2.png) [@JeffreySarnoff](https://discourse.julialang.org/u/JeffreySarnoff)
#### Post date: [January 26, 2017, 11:53pm UTC](https://discourse.julialang.org/t/rational-in-subtypes-real/1714/1 "2017-01-26T23:53:25Z")

</div>

Given that `supertype(Rational) == Real`, Rational is an immediate subtype of Real. Yet, `subtypes(Real)` does not include Rational. Is it plausible that this will change generally?

---

<div class="post-metadata">

### Author: ![yuyichao](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/yuyichao/32/20_2.png) [@yuyichao](https://discourse.julialang.org/u/yuyichao)
#### Post date: [January 27, 2017, 12:16am UTC](https://discourse.julialang.org/t/rational-in-subtypes-real/1714/2 "2017-01-27T00:16:09Z")

</div>

This is an issue similar to [https://github.com/JuliaLang/julia/issues/20086](https://github.com/JuliaLang/julia/issues/20086), which should probably be fixed.

---

<div class="post-metadata">

### Author: ![JeffreySarnoff](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jeffreysarnoff/32/1980_2.png) [@JeffreySarnoff](https://discourse.julialang.org/u/JeffreySarnoff)
#### Post date: [January 27, 2017, 12:27am UTC](https://discourse.julialang.org/t/rational-in-subtypes-real/1714/3 "2017-01-27T00:27:03Z")

</div>

In addition to logical affinity, imo this made right makes protocol refinement and subspecialization much easier.