Make double literals explicit for better cross-platform behavior.
Fix !all.equal( -> !isTRUE(all.equal( in examples.