Minor fix to float/int casting.