[][src]Type Definition glulxe_sys::gfloat32

type gfloat32 = f32;