Use this macro to convert a mortal VARIABLE to double. The macro calls the function @xref{execute_Convert2Double} and uses the global mortal list.