asm coercions in i64 to double