Changed satrec.satnum to be parsed as a string, since it has no mathematical use, and is an identifier value.