Fix Travis refusing to cast float to int