Bril has an extension for computing on floating-point numbers.
You can read more about the extension, which is originally by Dietrich Geisler and originally included two FP precision levels.
The floating point extension adds one new base type:
Floating point numbers are 64-bit, double-precision IEEE 754 values. (There is no single-precision type.)
There are the standard arithmetic operations, which take two
float values and produce a new
There are also comparison operators, which take two
float values and produce a