complete Floating instance
Improved simplification