Compiler specs: Improve floats specs