Bugfix in str\text::correct_types for accepting 4.0 as a string