float and int with casting