Fix a Nasm generator problem with FloatTest