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