fix splitI64 use of float instead of double