String functions (substring, left, right) validated to be not negative