cpp static cast float to int