Def fp.float.default_nan

feat(data/semiquot): semiquotient types

fix(.): adapt to Lean changes: type class parameters to structures are now type class parameters in the projections and constructor

feat(data/fp): first pass at a floating point model …