Get tag as HNum or raise UnknownNameException or ClassCastException.
double? getDouble(String name, {bool checked = true}) => (get(name, checked: checked) as HNum?)?.val;