printf "%d", '0E0'; # 0