rich
bitstring
spiceypy