 The achievable precision is limited by the number of bits allocated to store a number, whether as floating-point numbers or arbitrary-precision numbers.However, computer algebra systems can operate on irrational quantities exactly by manipulating formulas for them (such as formula_11 formula_12 or formula_13) rather than their rational or decimal approximation.It is not in general possible to determine whether two such expressions are equal (the constant problem).