workaround for weird ICC 14.0.3 bug in exponent, fix #835