[mycpp/runtime] Fix behavior of int(" ")