F# has those built in (not mission critical embedded ready, but a very very nicely designed language). ADA hat strongly typed fixed point built in. Rust I thin

F# has those built in (not mission critical embedded ready, but a very very nicely designed language). ADA hat strongly typed fixed point built in. Rust I think has a strong enough type system to implement this as a library, at least there seem to be a few. Idris also looks interesting. Maybe something like this can be done with dependent types.