Untested floatToReal8x function added