Lobsters: The Secrets of Floating-Point Numbers