Fixed Point Numbers

[Irvise]

I believe this message from Jeff should explain it nicely:

@JC001

Better_Grade has a small that is a power of two, probably 1 / 128; this can cause unexpected results

From

[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025

I meant to comment on these. I hope I’m not too late. “Everything is valid… Ada 2012”: the stack example is not You’ve converted compound symbols like => and >= into single characters Grade is a signed integer type, since declared with range; Grade’Base must include -10 … 10; Natural is a subtype of Integer in Ada, so if you’re using it in the mathematical sense, you should probably not capitalize it Better_Grade has a small that is a power of two, probably 1 / 128; this can cause unexpected r…

Fixed point types use binary as their underlying representation, so by default, their 'Small is 1/2^n, which may generate unexpected results

Best regards,
Fer