EXT_INT_PUT_DOM_TI_REAL
EXT_INT_PUT_DOM_TI_INTEGER