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