You should check whether `ctxt.HasError()` after calling `getnumberprop()`and  before fetching `t_number` - or mark it as `/* UNCHECKED */`