public char get_type_name() { throw new NotImplementedException("Native class returns pointer to integer/double/handle."); }