method estimateTotalResultsNumber =
    int_of_sv (call_method sv "estimateTotalResultsNumber" [])