-- f.adb function f(x : Long_float) return Long_Float is begin return 1.0/x; end f;