# FlexUnits.jl 0.3.0, Support for Unitful-like inference

**URL:** <https://discourse.julialang.org/t/flexunits-jl-0-3-0-support-for-unitful-like-inference/134903>\
**Category:** Package Announcements\
**Created:** [January 6, 2026, 2:00am UTC](https://discourse.julialang.org/t/flexunits-jl-0-3-0-support-for-unitful-like-inference/134903 "2026-01-06T02:00:04Z")\
**Posts on this page:** 1\
**Showing post:** 38

<div class="post-metadata">

**Author:** ![oschulz](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/oschulz/32/2998_2.png) [@oschulz](https://discourse.julialang.org/u/oschulz)\
**Post date:** [February 6, 2026, 8:36am UTC](https://discourse.julialang.org/t/flexunits-jl-0-3-0-support-for-unitful-like-inference/134903/38 "2026-02-06T08:36:41Z")

</div>

I think this is actually part of a larger issue - traced numbers in Reactant, for example, are also subtypes of `Number`, so it’s hard for user code to say “I need something kind of like a Real here” without taking on a heavy and very specialized dependency. We have a similar problem in Static, where the static integer is a `Number` not a `Real`. And probably in other places too.

I think we can make a super-lightweight package for “unusual numbers” (and subtypes for the quantity, traced and static case) to solve this in a generic and user/dependency-friendly fashion. I’ll try to put together a quick prototype with proof of concept PRs on Unitful, FlexUnits and DynamicQuantities, Reactant and maybe Static as well, then we could iterate on naming, structure, etc.

---

_[View the full topic](https://discourse.julialang.org/t/flexunits-jl-0-3-0-support-for-unitful-like-inference/134903)._