Yes, you are right. I overlooked that the other getters return the default value when casting fails. But when they do so, it should at least be logged.