Record float2 : Set := Float2 { Fnum : unit }.
Scheme Equality for float2.