method estimateIsExact =
    bool_of_sv (call_method sv "estimateIsExact" [])