Floating Point Type

Most numbers in Querki are integers, and you should use Whole Number Type for those. But sometimes, you need to describe something fractional, like 3.14159. For those, you use "floating point" -- a number with a decimal point, with as many digits of precision after the decimal point as you need.

Technically, this is what is often called a "double" -- a 64-bit floating point number, with 52 bits (about 16 decimal digits) in the mantissa and 11 bits for the exponent. This allows a good balance between pretty high precision and very large or small numbers.

Note that floating-point numbers are subject to rounding errors. We will probably add special-purpose types for cases where this must not happen. (For example, Currency.) If you particularly need this, drop us a note!