1 files changed, 1 insertions, 0 deletions
diff --git a/TODO b/TODO
index a361e26..80e15c0 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,7 @@
 * Support text format (.wat)
 * Implement validation
 * Fix known bugs (BUGS)
+    * We need to implement software-defined f32 in order to support floating-point number operations.
 * Implement NaN propagation
 * Provide sane bindings to PHP
 * Write PHPDoc for public APIs