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 :=