Jit64: some work on float conversions