cast to float for vc++