The standard library large_float package is a proxy for float64 API.
The large_float package implements the Float API.
The large_float package is defined in src/lib/std/large-float.pkg.
The above information is manually maintained and may contain errors.
Float