trunc64 fix