WYRT: minor bug fix for Int.parse()