--- /dev/null
+Example 12 and 13 have small numeric differences across platforms,
+Numeric results across platforms:
+
+ gcc 7.2 on Ubuntu 2017.10 does not match does not match numeric
+ results with either gcc 5.4 on Windows 10 WSL and the distribution
+ Centos execution.
+