float

The type of floating-point numbers in Starlark.