Symbol: FLOAT_PUSH_CELL_POINTER_DOUBLE