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