Test

Improve float conversion #1388

Job	Run time
clasp/macos-13/bytecode-faso/no	43m 25s
clasp/macos-13/bytecode/yes	41m 23s
clasp/macos-14/bytecode/no	25m 19s
clasp/ubuntu-latest/faso/no	31m 8s
clasp/ubuntu-latest/bytecode-faso/no	30m 57s
clasp/ubuntu-latest/bytecode/no	25m 54s
clasp/ubuntu-latest/bytecode/yes	26m 45s
cando/macos-13/bytecode-faso/no	1h 22m 47s
cando/ubuntu-latest/bytecode-faso/no	43m 53s
	5h 51m 31s

Provide feedback