Type Definition uikit_sys::extended80

type extended80 = Float80;