En Ada, uno especifica la precisión necesitada y el compilador elige el tipo de coma flotante que cumple "al menos" esa precisión.