Don't you need to cast to double here for proper division?