export type f32 = number;