Is there any reason for not casting to float here?