Fun missing check in SPARK

[touisteur]

Hi, I'm not sure it's in the spirit of the (great) book but I thought you might like https://blog.adacore.com/the-most-obscure-arithmetic-run-time-error-contest

Thanks for sharing the book for free!

[stedolan]

Thanks, that looks interesting! (Mistakes around floating point edge cases are common enough, that's definitely worth including)