spice 64: new formula

JPL SPICE Toolkit for C