Versuch es doch mal mit einem sogenannten Cast, das heißt du nimmst die Integer-Werte und wandelst sie vor der Berechnung in Double-Werte um. Das geschieht durch das "double" in Klammern.

Und ganzzahlige Konstanten, die Fließkommazahlen bzw. Double-Werte enthalten immer mit nem ".0" abschließen, sonst sind es Integer-Werte.

Und wie schon gesagt die Deklarationen für Variablen immer an den Anfang der Funktion, der GCC mag das nicht so gerne und das ist auch übersichtlicher.

Code:
void Int7print(void)
{
uint32_t hi_time,low_time; 
double freqq;

hi_time = (high_pulse *64);
low_time = (low_pulse *64);


itoa(high_pulse,Portt,10);
Printat(0,2,Portt);

itoa(low_pulse,Portt,10);
Printat(7,2,Portt); 

freqq = (1.0 / ((double) hi_time + (double) low_time)) * 1000000.0;
Gruß Lorcan