flotante

Es el tipo de números de punto flotante en Starlark.