fix: better error tests for alg.ext.
fix: ensure float_len2 >= float_len
fix: better constructors for float stuff