Thread: type casting or not?

Is this code OK or I should use type casting?

Code:

#include<windows.h>
void s_sleep(float second)(
	Sleep(1000*second);  //<<HERE
}

int main(){
	s_sleep(3);  //Sleep 3 seconds
	return 0;
}