float
    
    
       
  
  
  
  
    
    
The type of floating-point numbers in Starlark.