Section Header

    + name := Expanded REAL_64 -> REAL, REAL_80;

    - comment := "Float (C `double' mapping).";

    - type := `double`;

    - default := (0.to_raw_real_64);

Section Insert

    - parent_float_map64:FLOAT_MAP64 :=

    - parent_float_real:FLOAT_REAL :=