asm coercions in splitI64