export declare const numberPositiveRefine: import("../../flags.js").Refine;