Section Header
  
  
    + name     := Expanded REAL_32 -> REAL, REAL_64, REAL_80;
  
  
    - comment  := "Float (C `float' mapping).";
    
  
    - type     := `float`;
  
    - default  := (0.to_raw_real_32);
    
Section Insert
  
  
    - parent_float_map32:FLOAT_MAP32 := 
  
    - parent_float_real:FLOAT_REAL :=