Merged in ncluehr/eigen/predux_fp16_fix (pull request PR-348)

Fix incorrect integer cast in half2 predux.