Dividing by float