Better version of STRING>=.