update README

diff --git a/README.md b/README.md
index 14529d93680ffabd87613ad0243b428df6b891e5..91194b12112b84051d8ad76d4d131f80876505b5 100644 (file)
--- a/README.md
+++ b/README.md
@@ -19,7 +19,7 @@ Extend rusty-wam to include the following, among other features:
 * ISO Prolog compliant throw/catch (_done_).
 * Built-in and user-defined operators of all fixities, with custom
   associativity and precedence (_done_). 
-* Bignum, rational number and floating point arithmetic (_in progress_).
+* Bignum, rational number and floating point arithmetic (_done_).
 * Built-in control operators (`,`, `;`, `->`, etc.) (_in progress_).
 * Built-in predicates for list processing and top-level declarative
   control (`setup_call_control/3`, `call_with_inference_limit/3`,