python convert to int if not none