asm coerce the outputs of heap reads for tempDouble