[type] More robust CustomFloatType#2138
Merged
yuanming-hu merged 10 commits intotaichi-dev:masterfrom yuanming-hu:shared-exponent3Jan 2, 2021
+158-27
Commits
Commits on Jan 1, 2021
Commits on Jan 2, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed