Float16: comment out export of float16 function.
Int128 left shift: workaround for #3596 until upstream bug is fixed