import { type Refute } from './prelude.js';
declare const number_: Refute<number>;
export default number_;