fix: ensure float_len2 >= float_len