)* : A compendium of non-intuitive behaviours of floating-point on popular architectures, with implications for program verification and testing.
)* : A compendium of non-intuitive behaviours of floating-point on popular architectures, with implications for program verification and testing.