[seabird]

In respect to both points, Ada provides decimal and binary fixed point representations as a first class feature of the language, and in the event you must use floating point, SPARK provides the capability to prove that you're not running into rough edges. It's actually one of the most immediately noticeable features of the language for a firmware developer coming from C, and I'm a bit surprised you don't know about it.

Of course I know that you can do all of this stuff in C. I did it for years. I just don't think there's any sort of honor or expression of skill in getting your balls busted by this stuff being an afterthought, it's just annoying. I know your response will be "get better", and I did, countless people have, and we all still appreciate that these nuisances can be taken care of by the language.