diff --git a/float16 b/float16
index 7fce85b..df8273c 160000
--- a/float16
+++ b/float16
@@ -1 +1 @@
-Subproject commit 7fce85b7b021693d531fd59d122d90e4500a9371
+Subproject commit df8273caac312a66b8965030225b22b1775d3c3a