Constant pgrx_pg_sys::DEFAULT_RANDOM_PAGE_COST

pub const DEFAULT_RANDOM_PAGE_COST: f64 = 4.0;