--
-- float8le/2
--
create or replace function float8le(
  double precision,
  double precision
) returns bool as $$
float8le$$ language plpgsql;