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