const precision_getterinfo: JSJitInfo;