Si gli int64_t e uint64_t sono i long long, confermo che sono supportati al 100% perché li uso nel codice per il sensore di pressione del rov, dove è presente un ADC delta sigma da 24 bit e i vari calcoli matematici per la conversione da valore raw a pressione reale vanno fatti forzatamente a 64 bit se si vuole ottenere la risoluzione reale a 18 bit.