const valueAsNumber_setterinfo: JSJitInfo;