David Pettersson writes: > > Sorry for my ignorance, but how do we define strict fp semanics. Strict fp is what the original JLS specified; you must do all fp in-order without using intermediate operations of greater accuracy. Non-strictness was included later, I think as part of 1.2. Andrew.