fix dealcards on 32 bit