const valueAsNumber_getterinfo: JSJitInfo;