(WIP) Jit64: some work on float conversions