platforms": yet another issue with floating pointer comparisons.
The fix uses the workaround with volatiles.