Tx64x64 bug fixes

Change-Id: Iac595a3ae8f1466d8485c3627219b4b623efc8ad