è possibile passare da un double(64 bit) a due int(32 bit ciascuno) senza perdita di informazione??
ho provato con questa operazione ma il risultato non è stato quello sperato..

INTERO_high = (int) ((int)a>>32);
INTERO_low = (int) ((int) a);