Section Header
    + name := Expanded REAL_80 -> REAL;
    - comment := "Float 80 bits (C `long double' mapping).";
    - type := `long double`;
    - default := (0.to_raw_real_80);
Section Insert
    - parent_float_map80:FLOAT_MAP80 :=
    - parent_float_real:FLOAT_REAL :=